Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | Signal | 1466.84 | 1467.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb |
MD5SUM | 325852af8542a0f454599a2893f1b120 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 449 |
Best CPU time to get the best result obtained on this benchmark | 1800.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 434 |
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 | 495293 |
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 | 495293 |
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 17.99 c starting to Solve 17.99 c #variables read: 10000 - #constraints read: 656901 24.37 o 7059 24.54 o 7030 24.71 o 7012 24.88 o 7001 25.06 o 6992 25.23 o 6981 25.62 o 6841 25.81 o 6748 25.97 o 6727 26.19 o 6687 26.41 o 6661 26.58 o 6593 26.74 o 6570 26.91 o 6552 27.09 o 6536 27.88 o 6533 28.06 o 6524 28.22 o 6515 28.39 o 6512 28.56 o 6496 28.71 o 6487 28.87 o 6484 29.04 o 6477 29.20 o 6468 29.36 o 6465 29.54 o 6449 29.70 o 6440 29.86 o 6437 30.07 o 6431 30.25 o 6428 30.41 o 6425 32.64 o 6361 32.81 o 6359 32.97 o 6349 33.16 o 6275 33.33 o 6273 33.48 o 6263 33.64 o 6257 57.29 o 6033 57.46 o 6022 60.71 o 6006 61.07 o 6003 61.29 o 5982 61.44 o 5940 61.73 o 5929 61.91 o 5905 62.09 o 5875 62.26 o 5867 64.18 o 5856 64.34 o 5848 142.30 o 5821 1466.89 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/node31/watcher-37917-1149390810 -o ROOT/results/node31/solver-37917-1149390810 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/37917-1149390810/instance-37917-1149390810.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1657152/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=2572 CPUtime=0 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 204744695 2633728 235 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1638103 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 643 235 193 16 0 84 0 [startup+10.0023 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1575688/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=84472 CPUtime=9.98 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 20623 0 0 0 988 10 0 0 25 0 1 0 204744695 86499328 20594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134555799 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 21118 20594 204 16 0 20559 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 84472 [startup+20.0082 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1566280/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=95468 CPUtime=19.99 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 23022 0 0 0 1987 12 0 0 25 0 1 0 204744695 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 95468 [startup+30.014 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1566344/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=95468 CPUtime=29.99 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 23022 0 0 0 2987 12 0 0 25 0 1 0 204744695 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530468 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 95468 [startup+40.0198 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1566408/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=95468 CPUtime=40 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 23022 0 0 0 3988 12 0 0 25 0 1 0 204744695 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 95468 [startup+50.0257 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1566472/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=95468 CPUtime=50 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 23022 0 0 0 4987 13 0 0 25 0 1 0 204744695 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 95468 [startup+60.0315 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1566472/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=95468 CPUtime=60 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 23022 0 0 0 5987 13 0 0 25 0 1 0 204744695 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 95468 [startup+70.0373 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1560136/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=101828 CPUtime=70.01 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 24602 0 0 0 6986 15 0 0 25 0 1 0 204744695 104271872 24573 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 25457 24573 206 16 0 24898 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 101828 [startup+80.0432 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1547144/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=114768 CPUtime=80.01 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 27842 0 0 0 7985 16 0 0 25 0 1 0 204744695 117522432 27813 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1610701 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 28692 27813 206 16 0 28133 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 114768 [startup+90.049 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1535560/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=126328 CPUtime=90.02 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 30733 0 0 0 8985 17 0 0 25 0 1 0 204744695 129359872 30704 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 31582 30704 206 16 0 31023 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 126328 [startup+100.055 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1522760/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=139092 CPUtime=100.02 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 33925 0 0 0 9983 19 0 0 25 0 1 0 204744695 142430208 33896 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 34773 33896 206 16 0 34214 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 139092 [startup+110.061 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1508616/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=153276 CPUtime=110.02 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 37456 0 0 0 10981 21 0 0 25 0 1 0 204744695 156954624 37427 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 38319 37427 206 16 0 37760 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 153276 [startup+120.066 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1493704/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=168028 CPUtime=120.02 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 41170 0 0 0 11979 23 0 0 25 0 1 0 204744695 172060672 41141 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 42007 41141 206 16 0 41448 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 168028 [startup+130.072 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1480008/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=181796 CPUtime=130.03 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 44600 0 0 0 12978 25 0 0 25 0 1 0 204744695 186159104 44571 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 45449 44571 206 16 0 44890 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 181796 [startup+140.078 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1465736/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=196032 CPUtime=140.03 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 48167 0 0 0 13976 27 0 0 25 0 1 0 204744695 200736768 48138 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528524 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 49008 48138 206 16 0 48449 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 196032 [startup+150.084 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1446088/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=215756 CPUtime=150.04 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 53070 0 0 0 14974 30 0 0 25 0 1 0 204744695 220934144 53041 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 53939 53041 206 16 0 53380 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 215756 [startup+160.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1426120/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=235664 CPUtime=160.04 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 58044 0 0 0 15971 33 0 0 25 0 1 0 204744695 241319936 58015 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 58916 58015 206 16 0 58357 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 235664 [startup+170.096 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1412168/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=249508 CPUtime=170.04 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 61518 0 0 0 16969 35 0 0 25 0 1 0 204744695 255496192 61489 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 62377 61489 206 16 0 61818 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 249508 [startup+180.101 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1395912/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=265748 CPUtime=180.05 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 65573 0 0 0 17968 37 0 0 25 0 1 0 204744695 272125952 65544 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 66437 65544 206 16 0 65878 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 265748 [startup+190.107 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1379592/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=282040 CPUtime=190.05 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 69647 0 0 0 18966 39 0 0 25 0 1 0 204744695 288808960 69618 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 70510 69618 206 16 0 69951 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 282040 [startup+200.113 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1368264/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=293308 CPUtime=200.05 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 72473 0 0 0 19965 40 0 0 25 0 1 0 204744695 300347392 72444 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 73327 72444 206 16 0 72768 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 293308 [startup+210.119 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16135 /proc/meminfo: memFree=1355144/2055920 swapFree=4181480/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1250.41 Current children cumulated vsize (Kb) 1548960 [startup+1260.72 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=101832/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1558408 CPUtime=1260.41 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 388434 0 0 0 125822 219 0 0 25 0 1 0 204744695 1595809792 388405 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 389602 388405 206 16 0 389043 0 Current children cumulated CPU time (s) 1260.41 Current children cumulated vsize (Kb) 1558408 [startup+1270.73 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=93512/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1566720 CPUtime=1270.41 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 390507 0 0 0 126821 220 0 0 25 0 1 0 204744695 1604321280 390478 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 391680 390478 206 16 0 391121 0 Current children cumulated CPU time (s) 1270.41 Current children cumulated vsize (Kb) 1566720 [startup+1280.74 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=84488/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1575704 CPUtime=1280.42 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 392771 0 0 0 127820 222 0 0 25 0 1 0 204744695 1613520896 392742 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 393926 392742 206 16 0 393367 0 Current children cumulated CPU time (s) 1280.42 Current children cumulated vsize (Kb) 1575704 [startup+1290.74 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=75464/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1584732 CPUtime=1290.43 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 395013 0 0 0 128820 223 0 0 25 0 1 0 204744695 1622765568 394984 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 396183 394984 206 16 0 395624 0 Current children cumulated CPU time (s) 1290.43 Current children cumulated vsize (Kb) 1584732 [startup+1300.75 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=66888/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1593312 CPUtime=1300.42 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 397162 0 0 0 129818 224 0 0 25 0 1 0 204744695 1631551488 397133 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1607291 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 398328 397133 206 16 0 397769 0 Current children cumulated CPU time (s) 1300.42 Current children cumulated vsize (Kb) 1593312 [startup+1310.75 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=55752/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1604348 CPUtime=1310.43 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 399931 0 0 0 130817 226 0 0 25 0 1 0 204744695 1642852352 399902 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 401087 399902 206 16 0 400528 0 Current children cumulated CPU time (s) 1310.43 Current children cumulated vsize (Kb) 1604348 [startup+1320.76 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=41096/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1619008 CPUtime=1320.44 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 403590 0 0 0 131815 229 0 0 25 0 1 0 204744695 1657864192 403561 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1607291 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 404752 403561 206 16 0 404193 0 Current children cumulated CPU time (s) 1320.44 Current children cumulated vsize (Kb) 1619008 [startup+1330.76 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=22728/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1637256 CPUtime=1330.44 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 408164 0 0 0 132811 233 0 0 25 0 1 0 204744695 1676550144 408135 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 409314 408135 206 16 0 408755 0 Current children cumulated CPU time (s) 1330.44 Current children cumulated vsize (Kb) 1637256 [startup+1340.77 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=22728/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1655024 CPUtime=1340.44 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 412606 0 0 0 133809 235 0 0 25 0 1 0 204744695 1694744576 412577 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 413756 412577 206 16 0 413197 0 Current children cumulated CPU time (s) 1340.44 Current children cumulated vsize (Kb) 1655024 [startup+1350.78 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=15304/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1671832 CPUtime=1350.45 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 416805 0 0 0 134806 239 0 0 25 0 1 0 204744695 1711955968 416776 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 417958 416776 206 16 0 417399 0 Current children cumulated CPU time (s) 1350.45 Current children cumulated vsize (Kb) 1671832 [startup+1360.78 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=15752/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1688800 CPUtime=1360.45 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 421049 0 0 0 135803 242 0 0 25 0 1 0 204744695 1729331200 421020 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 422200 421020 206 16 0 421641 0 Current children cumulated CPU time (s) 1360.45 Current children cumulated vsize (Kb) 1688800 [startup+1370.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=15624/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1704540 CPUtime=1370.45 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 424981 0 0 0 136799 246 0 0 25 0 1 0 204744695 1745448960 424952 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1607237 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 426135 424952 206 16 0 425576 0 Current children cumulated CPU time (s) 1370.45 Current children cumulated vsize (Kb) 1704540 [startup+1380.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=15752/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1718472 CPUtime=1380.46 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 428498 0 0 0 137797 249 0 0 25 0 1 0 204744695 1759715328 428469 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 429618 428469 206 16 0 429059 0 Current children cumulated CPU time (s) 1380.46 Current children cumulated vsize (Kb) 1718472 [startup+1390.8 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=16072/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1733744 CPUtime=1390.46 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 432296 0 0 0 138794 252 0 0 25 0 1 0 204744695 1775353856 432267 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 433436 432267 206 16 0 432877 0 Current children cumulated CPU time (s) 1390.46 Current children cumulated vsize (Kb) 1733744 [startup+1400.81 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=15752/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1749608 CPUtime=1400.47 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 436263 0 0 0 139792 255 0 0 25 0 1 0 204744695 1791598592 436234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 437402 436234 206 16 0 436843 0 Current children cumulated CPU time (s) 1400.47 Current children cumulated vsize (Kb) 1749608 [startup+1410.81 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=15368/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1765744 CPUtime=1410.47 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 440247 0 0 0 140789 258 0 0 25 0 1 0 204744695 1808121856 440218 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 441436 440218 206 16 0 440877 0 Current children cumulated CPU time (s) 1410.47 Current children cumulated vsize (Kb) 1765744 [startup+1420.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=16200/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1781920 CPUtime=1420.48 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 444302 0 0 0 141788 260 0 0 25 0 1 0 204744695 1824686080 444273 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 445480 444273 206 16 0 444921 0 Current children cumulated CPU time (s) 1420.48 Current children cumulated vsize (Kb) 1781920 [startup+1430.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=15112/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1795368 CPUtime=1430.48 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 447671 0 0 0 142785 263 0 0 25 0 1 0 204744695 1838456832 447642 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 448842 447642 206 16 0 448283 0 Current children cumulated CPU time (s) 1430.48 Current children cumulated vsize (Kb) 1795368 [startup+1440.83 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=15048/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1809368 CPUtime=1440.48 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 451180 0 0 0 143783 265 0 0 25 0 1 0 204744695 1852792832 451151 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 452342 451151 206 16 0 451783 0 Current children cumulated CPU time (s) 1440.48 Current children cumulated vsize (Kb) 1809368 [startup+1450.84 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=15624/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1822740 CPUtime=1450.49 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 454507 0 0 0 144782 267 0 0 25 0 1 0 204744695 1866485760 454478 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 455685 454478 206 16 0 455126 0 Current children cumulated CPU time (s) 1450.49 Current children cumulated vsize (Kb) 1822740 [startup+1460.84 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16137 /proc/meminfo: memFree=14920/2055920 swapFree=4181480/4192956 [pid=16135] ppid=16133 vsize=1835672 CPUtime=1460.49 /proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 457763 0 0 0 145780 269 0 0 25 0 1 0 204744695 1879728128 457734 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16135/statm: 458918 457734 206 16 0 458359 0 Current children cumulated CPU time (s) 1460.49 Current children cumulated vsize (Kb) 1835672 Child ended because it received signal 6 (SIGABRT) Real time (s): 1467.19 CPU time (s): 1466.84 CPU user time (s): 1463.83 CPU system time (s): 3.00454 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (Kb): 1835672 The end
Begin job on node31 on Sun Jun 4 03:13:30 UTC 2006 FILE ID= 37917-1149390810 PBS_JOBID= 313434 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/37917-1149390810/instance-37917-1149390810.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node31/watcher-37917-1149390810 -o ROOT/results/node31/solver-37917-1149390810 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/37917-1149390810/instance-37917-1149390810.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 325852af8542a0f454599a2893f1b120 RANDOM SEED= 162725535 /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.234 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.234 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: 1657360 kB Buffers: 26740 kB Cached: 296832 kB SwapCached: 3304 kB Active: 112972 kB Inactive: 219476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1657360 kB SwapTotal: 4192956 kB SwapFree: 4181480 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14964 kB Slab: 52116 kB Committed_AS: 420576 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node31 on Sun Jun 4 03:37:57 UTC 2006