Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | Signal | 1445.51 | 1445.97 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb |
MD5SUM | 13c1b3915f4d316b882a7e551b1f0496 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 505 |
Best CPU time to get the best result obtained on this benchmark | 1800.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 502 |
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 | 498884 |
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 | 498884 |
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.43 c starting to Solve 18.43 c #variables read: 10000 - #constraints read: 656901 24.83 o 7088 25.02 o 6996 25.22 o 6981 25.39 o 6932 27.45 o 6920 27.62 o 6892 27.79 o 6891 27.99 o 6886 28.17 o 6879 28.37 o 6857 28.80 o 6844 28.96 o 6833 29.95 o 6828 30.14 o 6826 30.30 o 6800 30.47 o 6798 30.64 o 6796 30.82 o 6743 33.04 o 6151 33.18 o 6072 33.35 o 6068 40.63 o 5967 40.93 o 5931 43.10 o 5930 43.25 o 5902 43.39 o 5894 149.37 o 5859 149.51 o 5853 149.65 o 5811 152.99 o 5800 153.15 o 5786 191.57 o 5780 191.70 o 5775 191.85 o 5751 192.00 o 5732 192.15 o 5727 192.32 o 5712 195.92 o 5704 196.09 o 5699 196.23 o 5684 206.70 o 5677 214.30 o 5671 959.24 o 5669 959.43 o 5656 962.60 o 5647 972.25 o 5632 976.77 o 5629 976.92 o 5624 1445.70 Pueblo: 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/node33/watcher-36771-1149391875 -o ROOT/results/node33/solver-36771-1149391875 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node33/36771-1149391875/instance-36771-1149391875.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1572848/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=2280 CPUtime=0 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 204851318 2334720 126 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11791824 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 570 139 117 16 0 11 0 [startup+10.003 s] /proc/loadavg: 0.93 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1491592/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=84472 CPUtime=9.99 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 20614 0 0 0 990 9 0 0 25 0 1 0 204851318 86499328 20585 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532444 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 21118 20585 204 16 0 20559 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 84472 [startup+20.0103 s] /proc/loadavg: 0.94 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1481936/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=95468 CPUtime=19.99 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23022 0 0 0 1989 10 0 0 25 0 1 0 204851318 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 95468 [startup+30.0166 s] /proc/loadavg: 0.95 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1482064/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=95468 CPUtime=30 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23022 0 0 0 2990 10 0 0 25 0 1 0 204851318 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134530518 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 95468 [startup+40.0229 s] /proc/loadavg: 0.96 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1482064/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=95468 CPUtime=40 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23022 0 0 0 3990 10 0 0 25 0 1 0 204851318 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 95468 [startup+50.0292 s] /proc/loadavg: 0.96 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1482128/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=95468 CPUtime=50 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23022 0 0 0 4990 10 0 0 25 0 1 0 204851318 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 95468 [startup+60.0354 s] /proc/loadavg: 0.97 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1482128/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=95468 CPUtime=60 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23022 0 0 0 5990 10 0 0 25 0 1 0 204851318 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 95468 [startup+70.0417 s] /proc/loadavg: 0.97 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1482128/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=95468 CPUtime=70.01 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23022 0 0 0 6990 11 0 0 25 0 1 0 204851318 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 95468 [startup+80.049 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1478416/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=99300 CPUtime=80.01 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23957 0 0 0 7989 12 0 0 25 0 1 0 204851318 101683200 23928 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 24825 23928 206 16 0 24266 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 99300 [startup+90.0553 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1465488/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=112204 CPUtime=90.01 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 27189 0 0 0 8988 13 0 0 25 0 1 0 204851318 114896896 27160 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 28051 27160 206 16 0 27492 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 112204 [startup+100.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1450064/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=127596 CPUtime=100.02 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 31029 0 0 0 9985 17 0 0 25 0 1 0 204851318 130658304 31000 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 31899 31000 206 16 0 31340 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 127596 [startup+110.068 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1435408/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=142120 CPUtime=110.02 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 34672 0 0 0 10983 19 0 0 25 0 1 0 204851318 145530880 34643 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 35530 34643 206 16 0 34971 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 142120 [startup+120.074 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1427344/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=150124 CPUtime=120.02 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 36690 0 0 0 11982 20 0 0 25 0 1 0 204851318 153726976 36661 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 37531 36661 206 16 0 36972 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 150124 [startup+130.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1422416/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=155088 CPUtime=130.03 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 37919 0 0 0 12982 21 0 0 25 0 1 0 204851318 158810112 37890 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 38772 37890 206 16 0 38213 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 155088 [startup+140.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1416528/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=160920 CPUtime=140.03 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 39383 0 0 0 13982 21 0 0 25 0 1 0 204851318 164782080 39354 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 40230 39354 206 16 0 39671 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 160920 [startup+150.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1403216/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=174288 CPUtime=150.04 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 42710 0 0 0 14981 23 0 0 25 0 1 0 204851318 178470912 42681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 43572 42681 206 16 0 43013 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 174288 [startup+160.099 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1388880/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=188548 CPUtime=160.04 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 46282 0 0 0 15980 24 0 0 25 0 1 0 204851318 193073152 46253 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 47137 46253 206 16 0 46578 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 188548 [startup+170.106 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1374928/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=202496 CPUtime=170.04 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 49764 0 0 0 16979 25 0 0 25 0 1 0 204851318 207355904 49735 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 50624 49735 206 16 0 50065 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 202496 [startup+180.112 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1362704/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=214740 CPUtime=180.05 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 52814 0 0 0 17978 27 0 0 25 0 1 0 204851318 219893760 52785 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 53685 52785 206 16 0 53126 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 214740 [startup+190.118 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1348688/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=228776 CPUtime=190.04 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 56332 0 0 0 18976 28 0 0 25 0 1 0 204851318 234266624 56303 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 57194 56303 206 16 0 56635 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 228776 [startup+200.123 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1336592/2055920 swapFree=4181356/4192956 [pid=29700] ppid=29698 vsize=240852 CPUtime=200.05 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 59354 0 0 0 19975 30 0 0 25 0 1 0 204851318 246632448 59325 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 60213 59325 206 16 0 59654 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 240852 [startup+210.129 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29700 /proc/meminfo: memFree=1322576/2055920 swapFree=4181356/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1230.38 Current children cumulated vsize (Kb) 1625736 [startup+1240.77 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=15832/2055920 swapFree=4181348/4192956 [pid=29700] ppid=29698 vsize=1636184 CPUtime=1240.38 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 407875 0 0 0 123780 258 0 0 25 0 1 0 204851318 1675452416 407841 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 409046 407841 206 16 0 408487 0 Current children cumulated CPU time (s) 1240.38 Current children cumulated vsize (Kb) 1636184 [startup+1250.78 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=16216/2055920 swapFree=4181348/4192956 [pid=29700] ppid=29698 vsize=1646616 CPUtime=1250.39 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 410478 0 0 0 124779 260 0 0 25 0 1 0 204851318 1686134784 410444 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 411654 410444 206 16 0 411095 0 Current children cumulated CPU time (s) 1250.39 Current children cumulated vsize (Kb) 1646616 [startup+1260.78 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=15768/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1656440 CPUtime=1260.38 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 412940 0 0 0 125777 261 0 0 25 0 1 0 204851318 1696194560 412906 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 414110 412906 206 16 0 413551 0 Current children cumulated CPU time (s) 1260.38 Current children cumulated vsize (Kb) 1656440 [startup+1270.79 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=15192/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1666400 CPUtime=1270.39 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 415414 0 0 0 126776 263 0 0 25 0 1 0 204851318 1706393600 415380 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11383757 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 416600 415380 206 16 0 416041 0 Current children cumulated CPU time (s) 1270.39 Current children cumulated vsize (Kb) 1666400 [startup+1280.8 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=15960/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1676648 CPUtime=1280.39 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 417975 0 0 0 127775 264 0 0 25 0 1 0 204851318 1716887552 417941 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 419162 417941 206 16 0 418603 0 Current children cumulated CPU time (s) 1280.39 Current children cumulated vsize (Kb) 1676648 [startup+1290.8 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=15576/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1687708 CPUtime=1290.4 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 420770 0 0 0 128773 267 0 0 25 0 1 0 204851318 1728212992 420736 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 421927 420736 206 16 0 421368 0 Current children cumulated CPU time (s) 1290.4 Current children cumulated vsize (Kb) 1687708 [startup+1300.81 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=15000/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1699028 CPUtime=1300.4 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 423599 0 0 0 129771 269 0 0 25 0 1 0 204851318 1739804672 423565 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 424757 423565 206 16 0 424198 0 Current children cumulated CPU time (s) 1300.4 Current children cumulated vsize (Kb) 1699028 [startup+1310.82 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=15192/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1709852 CPUtime=1310.4 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 426293 0 0 0 130769 271 0 0 25 0 1 0 204851318 1750888448 426259 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 427463 426259 206 16 0 426904 0 Current children cumulated CPU time (s) 1310.4 Current children cumulated vsize (Kb) 1709852 [startup+1320.82 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=15640/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1720148 CPUtime=1320.4 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 428878 0 0 0 131767 273 0 0 25 0 1 0 204851318 1761431552 428844 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 430037 428844 206 16 0 429478 0 Current children cumulated CPU time (s) 1320.4 Current children cumulated vsize (Kb) 1720148 [startup+1330.83 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=15512/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1731192 CPUtime=1330.41 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 431633 0 0 0 132765 276 0 0 25 0 1 0 204851318 1772740608 431599 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 432798 431599 206 16 0 432239 0 Current children cumulated CPU time (s) 1330.41 Current children cumulated vsize (Kb) 1731192 [startup+1340.84 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=15000/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1742756 CPUtime=1340.42 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 434483 0 0 0 133764 278 0 0 25 0 1 0 204851318 1784582144 434449 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 435689 434449 206 16 0 435130 0 Current children cumulated CPU time (s) 1340.42 Current children cumulated vsize (Kb) 1742756 [startup+1350.84 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=15832/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1754388 CPUtime=1350.42 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 437390 0 0 0 134762 280 0 0 25 0 1 0 204851318 1796493312 437356 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 438597 437356 206 16 0 438038 0 Current children cumulated CPU time (s) 1350.42 Current children cumulated vsize (Kb) 1754388 [startup+1360.85 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29702 /proc/meminfo: memFree=15896/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1765264 CPUtime=1360.42 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 440105 0 0 0 135760 282 0 0 25 0 1 0 204851318 1807630336 440071 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 441316 440071 206 16 0 440757 0 Current children cumulated CPU time (s) 1360.42 Current children cumulated vsize (Kb) 1765264 [startup+1370.85 s] /proc/loadavg: 1.07 1.00 1.00 2/64 29702 /proc/meminfo: memFree=15832/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1776088 CPUtime=1370.42 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 442828 0 0 0 136759 283 0 0 25 0 1 0 204851318 1818714112 442794 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 444022 442794 206 16 0 443463 0 Current children cumulated CPU time (s) 1370.42 Current children cumulated vsize (Kb) 1776088 [startup+1380.86 s] /proc/loadavg: 1.06 1.00 1.00 2/64 29702 /proc/meminfo: memFree=15960/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1788380 CPUtime=1380.43 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 445899 0 0 0 137757 286 0 0 25 0 1 0 204851318 1831301120 445865 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11379039 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 447095 445865 206 16 0 446536 0 Current children cumulated CPU time (s) 1380.43 Current children cumulated vsize (Kb) 1788380 [startup+1390.87 s] /proc/loadavg: 1.05 1.00 1.00 2/64 29702 /proc/meminfo: memFree=15640/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1796640 CPUtime=1390.43 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 447972 0 0 0 138755 288 0 0 25 0 1 0 204851318 1839759360 447938 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 449160 447938 206 16 0 448601 0 Current children cumulated CPU time (s) 1390.43 Current children cumulated vsize (Kb) 1796640 [startup+1400.87 s] /proc/loadavg: 1.04 1.00 1.00 2/64 29702 /proc/meminfo: memFree=16280/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1805184 CPUtime=1400.43 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 450123 0 0 0 139754 289 0 0 25 0 1 0 204851318 1848508416 450089 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 451296 450089 206 16 0 450737 0 Current children cumulated CPU time (s) 1400.43 Current children cumulated vsize (Kb) 1805184 [startup+1410.88 s] /proc/loadavg: 1.04 1.00 1.00 2/64 29702 /proc/meminfo: memFree=16152/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1813148 CPUtime=1410.44 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 452086 0 0 0 140753 291 0 0 25 0 1 0 204851318 1856663552 452052 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 453287 452052 206 16 0 452728 0 Current children cumulated CPU time (s) 1410.44 Current children cumulated vsize (Kb) 1813148 [startup+1420.89 s] /proc/loadavg: 1.03 1.00 1.00 2/64 29702 /proc/meminfo: memFree=15128/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1821808 CPUtime=1420.44 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 454274 0 0 0 141752 292 0 0 25 0 1 0 204851318 1865531392 454240 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 455452 454240 206 16 0 454893 0 Current children cumulated CPU time (s) 1420.44 Current children cumulated vsize (Kb) 1821808 [startup+1430.89 s] /proc/loadavg: 1.03 1.00 1.00 2/64 29702 /proc/meminfo: memFree=15640/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1829516 CPUtime=1430.44 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 456192 0 0 0 142751 293 0 0 25 0 1 0 204851318 1873424384 456158 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 457379 456158 206 16 0 456820 0 Current children cumulated CPU time (s) 1430.44 Current children cumulated vsize (Kb) 1829516 [startup+1440.9 s] /proc/loadavg: 1.02 1.00 1.00 2/64 29702 /proc/meminfo: memFree=15960/2055920 swapFree=4181260/4192956 [pid=29700] ppid=29698 vsize=1838348 CPUtime=1440.45 /proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 458415 0 0 0 143751 294 0 0 25 0 1 0 204851318 1882468352 458381 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29700/statm: 459587 458381 206 16 0 459028 0 Current children cumulated CPU time (s) 1440.45 Current children cumulated vsize (Kb) 1838348 Child ended because it received signal 6 (SIGABRT) Real time (s): 1445.97 CPU time (s): 1445.51 CPU user time (s): 1442.29 CPU system time (s): 3.22351 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (Kb): 1838348 The end
Begin job on node33 on Sun Jun 4 03:31:15 UTC 2006 FILE ID= 36771-1149391875 PBS_JOBID= 313483 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node33/36771-1149391875/instance-36771-1149391875.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-36771-1149391875 -o ROOT/results/node33/solver-36771-1149391875 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node33/36771-1149391875/instance-36771-1149391875.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496 RANDOM SEED= 328148362 /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.213 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.213 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: 1573056 kB Buffers: 27996 kB Cached: 383448 kB SwapCached: 3288 kB Active: 180936 kB Inactive: 239236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1573056 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14912 kB Slab: 48752 kB Committed_AS: 394344 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node33 on Sun Jun 4 03:55:21 UTC 2006