Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | Signal | 1535.68 | 1536.1 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb |
MD5SUM | 093efae700664f798191c0b27cec34af |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 447 |
Best CPU time to get the best result obtained on this benchmark | 1800.6 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 447 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 494527 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 494527 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 18.28 c starting to Solve 18.28 c #variables read: 10000 - #constraints read: 656901 24.63 o 7310 24.78 o 7220 24.97 o 7180 25.13 o 7090 25.34 o 7048 25.83 o 6894 26.00 o 6823 26.26 o 6754 26.42 o 6727 26.58 o 6683 26.73 o 6656 27.74 o 6645 38.96 o 6191 39.51 o 6163 44.00 o 6104 44.18 o 6095 44.35 o 6033 183.71 o 6010 183.90 o 5974 184.28 o 5960 184.74 o 5946 185.99 o 5937 190.09 o 5921 230.09 o 5907 230.52 o 5877 230.77 o 5872 230.97 o 5860 231.16 o 5809 240.92 o 5799 241.16 o 5782 241.35 o 5755 252.76 o 5742 253.00 o 5717 253.24 o 5700 285.67 o 5634 288.99 o 5629 300.47 o 5614 300.62 o 5578 301.06 o 5559 315.58 o 5548 315.74 o 5546 329.84 o 5519 329.98 o 5483 1535.83 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/node30/watcher-36770-1149391474 -o ROOT/results/node30/solver-36770-1149391474 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node30/36770-1149391474/instance-36770-1149391474.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1620200/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=2280 CPUtime=0 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 172 0 0 0 0 0 0 0 18 0 1 0 204811033 2334720 144 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4160564816 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 570 152 130 16 0 11 0 [startup+10.002 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1538864/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=84472 CPUtime=9.99 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 20614 0 0 0 990 9 0 0 25 0 1 0 204811033 86499328 20585 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 21118 20585 204 16 0 20559 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 84472 [startup+20.0091 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1529264/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=95468 CPUtime=19.99 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 23022 0 0 0 1990 9 0 0 25 0 1 0 204811033 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 95468 [startup+30.0151 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1529392/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=95468 CPUtime=30 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 23022 0 0 0 2990 10 0 0 25 0 1 0 204811033 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520372 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 95468 [startup+40.0212 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1529456/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=95468 CPUtime=40 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 23022 0 0 0 3989 11 0 0 25 0 1 0 204811033 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 95468 [startup+50.0272 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1529456/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=95468 CPUtime=50 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 23022 0 0 0 4989 11 0 0 25 0 1 0 204811033 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 95468 [startup+60.0333 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1529456/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=95468 CPUtime=60.01 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 23022 0 0 0 5989 12 0 0 25 0 1 0 204811033 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 95468 [startup+70.0393 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1529008/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=96032 CPUtime=70.01 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 23142 0 0 0 6989 12 0 0 25 0 1 0 204811033 98336768 23113 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 24008 23113 206 16 0 23449 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 96032 [startup+80.0463 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1524208/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=100692 CPUtime=80.01 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 24337 0 0 0 7989 12 0 0 25 0 1 0 204811033 103108608 24306 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 25173 24306 206 16 0 24614 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 100692 [startup+90.0524 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1517936/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=106956 CPUtime=90.01 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 25910 0 0 0 8988 13 0 0 25 0 1 0 204811033 109522944 25877 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 26739 25877 206 16 0 26180 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 106956 [startup+100.057 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1510448/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=114464 CPUtime=100.02 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 27761 0 0 0 9988 14 0 0 25 0 1 0 204811033 117211136 27727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 28616 27727 206 16 0 28057 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 114464 [startup+110.063 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1504048/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=120824 CPUtime=110.02 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 29373 0 0 0 10988 14 0 0 25 0 1 0 204811033 123723776 29339 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 30206 29339 206 16 0 29647 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 120824 [startup+120.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1496880/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=128032 CPUtime=120.02 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 31160 0 0 0 11987 15 0 0 25 0 1 0 204811033 131104768 31126 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 32008 31126 206 16 0 31449 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 128032 [startup+130.076 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1488880/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=135948 CPUtime=130.03 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 33147 0 0 0 12987 16 0 0 25 0 1 0 204811033 139210752 33113 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 33987 33113 206 16 0 33428 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 135948 [startup+140.082 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1479728/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=145164 CPUtime=140.04 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 35438 0 0 0 13986 18 0 0 25 0 1 0 204811033 148647936 35404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 36291 35404 206 16 0 35732 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 145164 [startup+150.088 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1469616/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=155264 CPUtime=150.04 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 37949 0 0 0 14985 19 0 0 25 0 1 0 204811033 158990336 37915 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 38816 37915 206 16 0 38257 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 155264 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1461040/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=163828 CPUtime=160.04 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 40095 0 0 0 15983 21 0 0 25 0 1 0 204811033 167759872 40061 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 40957 40061 206 16 0 40398 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 163828 [startup+170.099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1453680/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=171116 CPUtime=170.04 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 41936 0 0 0 16982 22 0 0 25 0 1 0 204811033 175222784 41902 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 42779 41902 206 16 0 42220 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 171116 [startup+180.105 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1445232/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=179556 CPUtime=180.04 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 44036 0 0 0 17981 23 0 0 25 0 1 0 204811033 183865344 44002 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 44889 44002 206 16 0 44330 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 179556 [startup+190.111 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1436080/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=188620 CPUtime=190.05 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 46315 0 0 0 18981 24 0 0 25 0 1 0 204811033 193146880 46281 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 47155 46281 206 16 0 46596 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 188620 [startup+200.117 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1423024/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=201656 CPUtime=200.05 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 49578 0 0 0 19980 25 0 0 25 0 1 0 204811033 206495744 49544 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 50414 49544 206 16 0 49855 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 201656 [startup+210.123 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6083 /proc/meminfo: memFree=1412016/2055920 swapFree=4180904/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1320.49 Current children cumulated vsize (Kb) 1596824 [startup+1330.84 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=16112/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=1608368 CPUtime=1330.49 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 400957 0 0 0 132806 243 0 0 25 0 1 0 204811033 1646968832 400923 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 402092 400923 206 16 0 401533 0 Current children cumulated CPU time (s) 1330.49 Current children cumulated vsize (Kb) 1608368 [startup+1340.85 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15600/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=1622776 CPUtime=1340.49 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 404551 0 0 0 133803 246 0 0 25 0 1 0 204811033 1661722624 404517 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7460061 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 405694 404517 206 16 0 405135 0 Current children cumulated CPU time (s) 1340.49 Current children cumulated vsize (Kb) 1622776 [startup+1350.86 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15088/2055920 swapFree=4180904/4192956 [pid=6083] ppid=6081 vsize=1635752 CPUtime=1350.5 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 407795 0 0 0 134801 249 0 0 25 0 1 0 204811033 1675010048 407761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 408938 407761 206 16 0 408379 0 Current children cumulated CPU time (s) 1350.5 Current children cumulated vsize (Kb) 1635752 [startup+1360.86 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15856/2055920 swapFree=4180892/4192956 [pid=6083] ppid=6081 vsize=1649012 CPUtime=1360.5 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 411123 0 0 0 135799 251 0 0 25 0 1 0 204811033 1688588288 411089 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520065 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 412253 411089 206 16 0 411694 0 Current children cumulated CPU time (s) 1360.5 Current children cumulated vsize (Kb) 1649012 [startup+1370.87 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=16048/2055920 swapFree=4180892/4192956 [pid=6083] ppid=6081 vsize=1661200 CPUtime=1370.51 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 414140 0 0 0 136798 253 0 0 25 0 1 0 204811033 1701068800 414106 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 415300 414106 206 16 0 414741 0 Current children cumulated CPU time (s) 1370.51 Current children cumulated vsize (Kb) 1661200 [startup+1380.87 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15920/2055920 swapFree=4180892/4192956 [pid=6083] ppid=6081 vsize=1673816 CPUtime=1380.51 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 417302 0 0 0 137796 255 0 0 25 0 1 0 204811033 1713987584 417268 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 418454 417268 206 16 0 417895 0 Current children cumulated CPU time (s) 1380.51 Current children cumulated vsize (Kb) 1673816 [startup+1390.88 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15856/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1686852 CPUtime=1390.51 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 420579 0 0 0 138794 257 0 0 25 0 1 0 204811033 1727336448 420545 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 421713 420545 206 16 0 421154 0 Current children cumulated CPU time (s) 1390.51 Current children cumulated vsize (Kb) 1686852 [startup+1400.89 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15472/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1699976 CPUtime=1400.52 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 423827 0 0 0 139793 259 0 0 25 0 1 0 204811033 1740775424 423793 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528556 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 424994 423793 206 16 0 424435 0 Current children cumulated CPU time (s) 1400.52 Current children cumulated vsize (Kb) 1699976 [startup+1410.89 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15536/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1712288 CPUtime=1410.52 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 426912 0 0 0 140790 262 0 0 25 0 1 0 204811033 1753382912 426878 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 428072 426878 206 16 0 427513 0 Current children cumulated CPU time (s) 1410.52 Current children cumulated vsize (Kb) 1712288 [startup+1420.9 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15280/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1723336 CPUtime=1420.53 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 429689 0 0 0 141789 264 0 0 25 0 1 0 204811033 1764696064 429655 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 430834 429655 206 16 0 430275 0 Current children cumulated CPU time (s) 1420.53 Current children cumulated vsize (Kb) 1723336 [startup+1430.9 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15536/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1735428 CPUtime=1430.52 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 432715 0 0 0 142786 266 0 0 25 0 1 0 204811033 1777078272 432681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 433857 432681 206 16 0 433298 0 Current children cumulated CPU time (s) 1430.52 Current children cumulated vsize (Kb) 1735428 [startup+1440.91 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15280/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1746628 CPUtime=1440.53 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 435517 0 0 0 143785 268 0 0 25 0 1 0 204811033 1788547072 435483 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7455693 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 436657 435483 206 16 0 436098 0 Current children cumulated CPU time (s) 1440.53 Current children cumulated vsize (Kb) 1746628 [startup+1450.92 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15600/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1757204 CPUtime=1450.53 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 438156 0 0 0 144783 270 0 0 25 0 1 0 204811033 1799376896 438122 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 439301 438122 206 16 0 438742 0 Current children cumulated CPU time (s) 1450.53 Current children cumulated vsize (Kb) 1757204 [startup+1460.92 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=16048/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1767664 CPUtime=1460.54 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 440767 0 0 0 145782 272 0 0 25 0 1 0 204811033 1810087936 440733 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 441916 440733 206 16 0 441357 0 Current children cumulated CPU time (s) 1460.54 Current children cumulated vsize (Kb) 1767664 [startup+1470.93 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15472/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1777460 CPUtime=1470.54 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 443237 0 0 0 146780 274 0 0 25 0 1 0 204811033 1820119040 443203 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 444365 443203 206 16 0 443806 0 Current children cumulated CPU time (s) 1470.54 Current children cumulated vsize (Kb) 1777460 [startup+1480.93 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15920/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1787992 CPUtime=1480.54 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 445845 0 0 0 147779 275 0 0 25 0 1 0 204811033 1830903808 445811 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 446998 445811 206 16 0 446439 0 Current children cumulated CPU time (s) 1480.54 Current children cumulated vsize (Kb) 1787992 [startup+1490.94 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=14832/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1798320 CPUtime=1490.54 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 448453 0 0 0 148777 277 0 0 25 0 1 0 204811033 1841479680 448419 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 449580 448419 206 16 0 449021 0 Current children cumulated CPU time (s) 1490.54 Current children cumulated vsize (Kb) 1798320 [startup+1500.95 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=16240/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1809292 CPUtime=1500.55 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 451181 0 0 0 149776 279 0 0 25 0 1 0 204811033 1852715008 451147 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 452323 451147 206 16 0 451764 0 Current children cumulated CPU time (s) 1500.55 Current children cumulated vsize (Kb) 1809292 [startup+1510.95 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15600/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1819160 CPUtime=1510.56 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 453654 0 0 0 150774 282 0 0 25 0 1 0 204811033 1862819840 453620 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 454790 453620 206 16 0 454231 0 Current children cumulated CPU time (s) 1510.56 Current children cumulated vsize (Kb) 1819160 [startup+1520.96 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=16112/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1829500 CPUtime=1520.56 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 456243 0 0 0 151773 283 0 0 25 0 1 0 204811033 1873408000 456209 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 457375 456209 206 16 0 456816 0 Current children cumulated CPU time (s) 1520.56 Current children cumulated vsize (Kb) 1829500 [startup+1530.97 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6085 /proc/meminfo: memFree=15280/2055920 swapFree=4180796/4192956 [pid=6083] ppid=6081 vsize=1838192 CPUtime=1530.56 /proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 458409 0 0 0 152772 284 0 0 25 0 1 0 204811033 1882308608 458375 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/6083/statm: 459548 458375 206 16 0 458989 0 Current children cumulated CPU time (s) 1530.56 Current children cumulated vsize (Kb) 1838192 Child ended because it received signal 6 (SIGABRT) Real time (s): 1536.1 CPU time (s): 1535.68 CPU user time (s): 1532.56 CPU system time (s): 3.12352 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (Kb): 1838192 The end
Begin job on node30 on Sun Jun 4 03:24:34 UTC 2006 FILE ID= 36770-1149391474 PBS_JOBID= 313470 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node30/36770-1149391474/instance-36770-1149391474.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-36770-1149391474 -o ROOT/results/node30/solver-36770-1149391474 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node30/36770-1149391474/instance-36770-1149391474.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 093efae700664f798191c0b27cec34af RANDOM SEED= 764995787 /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.216 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.216 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: 1620408 kB Buffers: 29456 kB Cached: 336052 kB SwapCached: 3664 kB Active: 127212 kB Inactive: 246952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1620408 kB SwapTotal: 4192956 kB SwapFree: 4180904 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14720 kB Slab: 47420 kB Committed_AS: 372132 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node30 on Sun Jun 4 03:50:10 UTC 2006