Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | Signal | 1480.57 | 1481.04 |
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 18.23 c starting to Solve 18.23 c #variables read: 10000 - #constraints read: 656901 24.59 o 7059 24.76 o 7030 24.93 o 7012 25.10 o 7001 25.27 o 6992 25.44 o 6981 25.83 o 6841 26.01 o 6748 26.17 o 6727 26.38 o 6687 26.60 o 6661 26.78 o 6593 26.94 o 6570 27.11 o 6552 27.29 o 6536 28.07 o 6533 28.24 o 6524 28.40 o 6515 28.57 o 6512 28.74 o 6496 28.90 o 6487 29.04 o 6484 29.21 o 6477 29.38 o 6468 29.54 o 6465 29.72 o 6449 29.88 o 6440 30.04 o 6437 30.25 o 6431 30.43 o 6428 30.59 o 6425 32.85 o 6361 33.02 o 6359 33.18 o 6349 33.37 o 6275 33.54 o 6273 33.71 o 6263 33.87 o 6257 57.51 o 6033 57.69 o 6022 60.98 o 6006 61.33 o 6003 61.54 o 5982 61.70 o 5940 62.00 o 5929 62.17 o 5905 62.35 o 5875 62.52 o 5867 64.46 o 5856 64.62 o 5848 143.14 o 5821 1480.74 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/node40/watcher-36767-1149390641 -o ROOT/results/node40/solver-36767-1149390641 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node40/36767-1149390641/instance-36767-1149390641.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1610496/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=2540 CPUtime=0 /proc/31480/stat : 31480 (Pueblo) D 31478 31480 31434 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 204730601 2600960 213 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 643 219 192 16 0 84 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1529168/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=84472 CPUtime=9.99 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 20616 0 0 0 990 9 0 0 25 0 1 0 204730601 86499328 20587 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 21118 20587 204 16 0 20559 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 84472 [startup+20.0101 s] /proc/loadavg: 0.94 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1519632/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=95468 CPUtime=19.99 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 23022 0 0 0 1990 9 0 0 25 0 1 0 204730601 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 95468 [startup+30.0175 s] /proc/loadavg: 0.95 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1519696/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=95468 CPUtime=29.99 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 23022 0 0 0 2990 9 0 0 25 0 1 0 204730601 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134530571 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 95468 [startup+40.0228 s] /proc/loadavg: 0.95 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1519696/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=95468 CPUtime=40 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 23022 0 0 0 3990 10 0 0 25 0 1 0 204730601 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 95468 [startup+50.0291 s] /proc/loadavg: 0.96 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1519760/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=95468 CPUtime=50 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 23022 0 0 0 4989 11 0 0 25 0 1 0 204730601 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/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 31480 /proc/meminfo: memFree=1519696/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=95468 CPUtime=60 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 23022 0 0 0 5989 11 0 0 25 0 1 0 204730601 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/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 31480 /proc/meminfo: memFree=1513680/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=101476 CPUtime=70.01 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 24531 0 0 0 6988 13 0 0 25 0 1 0 204730601 103911424 24502 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 25369 24502 206 16 0 24810 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 101476 [startup+80.048 s] /proc/loadavg: 0.98 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1500816/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=114264 CPUtime=80.01 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 27735 0 0 0 7986 15 0 0 25 0 1 0 204730601 117006336 27706 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 28566 27706 206 16 0 28007 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 114264 [startup+90.0543 s] /proc/loadavg: 0.98 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1489296/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=125944 CPUtime=90.01 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 30631 0 0 0 8985 16 0 0 25 0 1 0 204730601 128966656 30602 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 31486 30602 206 16 0 30927 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 125944 [startup+100.06 s] /proc/loadavg: 0.98 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1476816/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=138424 CPUtime=100.02 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 33740 0 0 0 9984 18 0 0 25 0 1 0 204730601 141746176 33711 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 34606 33711 206 16 0 34047 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 138424 [startup+110.066 s] /proc/loadavg: 0.98 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1462608/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=152516 CPUtime=110.02 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 37288 0 0 0 10982 20 0 0 25 0 1 0 204730601 156176384 37259 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 38129 37259 206 16 0 37570 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 152516 [startup+120.072 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1448016/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=167120 CPUtime=120.02 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 40932 0 0 0 11980 22 0 0 25 0 1 0 204730601 171130880 40903 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557374 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 41780 40903 206 16 0 41221 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 167120 [startup+130.079 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1434256/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=180864 CPUtime=130.03 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 44353 0 0 0 12979 24 0 0 25 0 1 0 204730601 185204736 44324 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 45216 44324 206 16 0 44657 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 180864 [startup+140.085 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1420368/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=194640 CPUtime=140.03 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 47826 0 0 0 13977 26 0 0 25 0 1 0 204730601 199311360 47797 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 48660 47797 206 16 0 48101 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 194640 [startup+150.091 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1401552/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=213536 CPUtime=150.03 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 52525 0 0 0 14974 29 0 0 25 0 1 0 204730601 218660864 52496 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 53384 52496 206 16 0 52825 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 213536 [startup+160.096 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1381968/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=233052 CPUtime=160.04 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 57409 0 0 0 15972 32 0 0 25 0 1 0 204730601 238645248 57380 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 58263 57380 206 16 0 57704 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 233052 [startup+170.103 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1367184/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=247780 CPUtime=170.04 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 61097 0 0 0 16970 34 0 0 25 0 1 0 204730601 253726720 61068 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 61945 61068 206 16 0 61386 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 247780 [startup+180.109 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1351504/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=263428 CPUtime=180.04 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 65009 0 0 0 17969 35 0 0 25 0 1 0 204730601 269750272 64980 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 65857 64980 206 16 0 65298 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 263428 [startup+190.115 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1335504/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=279404 CPUtime=190.04 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 69005 0 0 0 18967 37 0 0 25 0 1 0 204730601 286109696 68976 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 69851 68976 206 16 0 69292 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 279404 [startup+200.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1323600/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=291276 CPUtime=200.05 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 71963 0 0 0 19966 39 0 0 25 0 1 0 204730601 298266624 71934 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 72819 71934 206 16 0 72260 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 291276 [startup+210.128 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31480 /proc/meminfo: memFree=1310480/2055920 swapFree=4181324/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1270.38 Current children cumulated vsize (Kb) 1558672 [startup+1280.79 s] /proc/loadavg: 1.00 0.99 1.00 2/64 31480 /proc/meminfo: memFree=46544/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=1567008 CPUtime=1280.39 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 390587 0 0 0 127814 225 0 0 25 0 1 0 204730601 1604616192 390554 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 391752 390554 206 16 0 391193 0 Current children cumulated CPU time (s) 1280.39 Current children cumulated vsize (Kb) 1567008 [startup+1290.8 s] /proc/loadavg: 1.00 0.99 1.00 2/64 31480 /proc/meminfo: memFree=37520/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=1575944 CPUtime=1290.39 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 392835 0 0 0 128813 226 0 0 25 0 1 0 204730601 1613766656 392802 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 393986 392802 206 16 0 393427 0 Current children cumulated CPU time (s) 1290.39 Current children cumulated vsize (Kb) 1575944 [startup+1300.81 s] /proc/loadavg: 1.00 0.99 1.00 2/64 31480 /proc/meminfo: memFree=28496/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=1584932 CPUtime=1300.39 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 395090 0 0 0 129812 227 0 0 25 0 1 0 204730601 1622970368 395056 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 396233 395056 206 16 0 395674 0 Current children cumulated CPU time (s) 1300.39 Current children cumulated vsize (Kb) 1584932 [startup+1310.81 s] /proc/loadavg: 1.00 0.99 1.00 2/64 31480 /proc/meminfo: memFree=20176/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=1593344 CPUtime=1310.4 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 397177 0 0 0 130811 229 0 0 25 0 1 0 204730601 1631584256 397142 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527742 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 398336 397142 206 16 0 397777 0 Current children cumulated CPU time (s) 1310.4 Current children cumulated vsize (Kb) 1593344 [startup+1320.82 s] /proc/loadavg: 1.00 0.99 1.00 2/64 31480 /proc/meminfo: memFree=15184/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=1604408 CPUtime=1320.4 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 399932 0 0 0 131809 231 0 0 25 0 1 0 204730601 1642913792 399897 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 401102 399897 206 16 0 400543 0 Current children cumulated CPU time (s) 1320.4 Current children cumulated vsize (Kb) 1604408 [startup+1330.83 s] /proc/loadavg: 1.00 0.99 1.00 2/64 31480 /proc/meminfo: memFree=15184/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=1618192 CPUtime=1330.41 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 403401 0 0 0 132807 234 0 0 25 0 1 0 204730601 1657028608 403366 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 404548 403366 206 16 0 403989 0 Current children cumulated CPU time (s) 1330.41 Current children cumulated vsize (Kb) 1618192 [startup+1340.83 s] /proc/loadavg: 1.00 0.99 1.00 2/64 31480 /proc/meminfo: memFree=15952/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=1635960 CPUtime=1340.41 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 407865 0 0 0 133804 237 0 0 25 0 1 0 204730601 1675223040 407830 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 408990 407830 206 16 0 408431 0 Current children cumulated CPU time (s) 1340.41 Current children cumulated vsize (Kb) 1635960 [startup+1350.84 s] /proc/loadavg: 1.00 0.99 1.00 2/64 31480 /proc/meminfo: memFree=15504/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=1653440 CPUtime=1350.41 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 412225 0 0 0 134800 241 0 0 25 0 1 0 204730601 1693122560 412190 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 413360 412190 206 16 0 412801 0 Current children cumulated CPU time (s) 1350.41 Current children cumulated vsize (Kb) 1653440 [startup+1360.85 s] /proc/loadavg: 1.00 0.99 1.00 2/64 31480 /proc/meminfo: memFree=16208/2055920 swapFree=4181324/4192956 [pid=31480] ppid=31478 vsize=1669820 CPUtime=1360.42 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 416338 0 0 0 135798 244 0 0 25 0 1 0 204730601 1709895680 416303 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 417455 416304 206 16 0 416896 0 Current children cumulated CPU time (s) 1360.42 Current children cumulated vsize (Kb) 1669820 [startup+1370.85 s] /proc/loadavg: 1.07 1.01 1.00 2/64 31480 /proc/meminfo: memFree=16080/2055920 swapFree=4181316/4192956 [pid=31480] ppid=31478 vsize=1686172 CPUtime=1370.42 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 420414 0 0 0 136795 247 0 0 25 0 1 0 204730601 1726640128 420379 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 421543 420379 206 16 0 420984 0 Current children cumulated CPU time (s) 1370.42 Current children cumulated vsize (Kb) 1686172 [startup+1380.86 s] /proc/loadavg: 1.06 1.01 1.00 2/64 31480 /proc/meminfo: memFree=15760/2055920 swapFree=4181316/4192956 [pid=31480] ppid=31478 vsize=1702012 CPUtime=1380.42 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 424364 0 0 0 137792 250 0 0 25 0 1 0 204730601 1742860288 424329 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 425503 424329 206 16 0 424944 0 Current children cumulated CPU time (s) 1380.42 Current children cumulated vsize (Kb) 1702012 [startup+1390.87 s] /proc/loadavg: 1.05 1.01 1.00 2/64 31480 /proc/meminfo: memFree=15504/2055920 swapFree=4181316/4192956 [pid=31480] ppid=31478 vsize=1716004 CPUtime=1390.42 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 427885 0 0 0 138790 252 0 0 25 0 1 0 204730601 1757188096 427850 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528624 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 429001 427850 206 16 0 428442 0 Current children cumulated CPU time (s) 1390.42 Current children cumulated vsize (Kb) 1716004 [startup+1400.87 s] /proc/loadavg: 1.04 1.01 1.00 2/64 31480 /proc/meminfo: memFree=14928/2055920 swapFree=4181316/4192956 [pid=31480] ppid=31478 vsize=1730852 CPUtime=1400.43 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 431559 0 0 0 139789 254 0 0 25 0 1 0 204730601 1772392448 431524 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 432713 431524 206 16 0 432154 0 Current children cumulated CPU time (s) 1400.43 Current children cumulated vsize (Kb) 1730852 [startup+1410.88 s] /proc/loadavg: 1.04 1.01 1.00 2/64 31480 /proc/meminfo: memFree=15632/2055920 swapFree=4181316/4192956 [pid=31480] ppid=31478 vsize=1745588 CPUtime=1410.44 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 435257 0 0 0 140787 257 0 0 25 0 1 0 204730601 1787482112 435222 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 436397 435222 206 16 0 435838 0 Current children cumulated CPU time (s) 1410.44 Current children cumulated vsize (Kb) 1745588 [startup+1420.89 s] /proc/loadavg: 1.03 1.01 1.00 2/64 31480 /proc/meminfo: memFree=15248/2055920 swapFree=4181316/4192956 [pid=31480] ppid=31478 vsize=1761404 CPUtime=1420.44 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 439221 0 0 0 141784 260 0 0 25 0 1 0 204730601 1803677696 439186 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7345787 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 440351 439186 206 16 0 439792 0 Current children cumulated CPU time (s) 1420.44 Current children cumulated vsize (Kb) 1761404 [startup+1430.89 s] /proc/loadavg: 1.02 1.00 1.00 2/64 31480 /proc/meminfo: memFree=15376/2055920 swapFree=4181316/4192956 [pid=31480] ppid=31478 vsize=1776840 CPUtime=1430.44 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 443055 0 0 0 142781 263 0 0 25 0 1 0 204730601 1819484160 443020 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 444210 443020 206 16 0 443651 0 Current children cumulated CPU time (s) 1430.44 Current children cumulated vsize (Kb) 1776840 [startup+1440.9 s] /proc/loadavg: 1.02 1.00 1.00 2/64 31480 /proc/meminfo: memFree=15504/2055920 swapFree=4181316/4192956 [pid=31480] ppid=31478 vsize=1790724 CPUtime=1440.44 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 446516 0 0 0 143779 265 0 0 25 0 1 0 204730601 1833701376 446481 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 447681 446481 206 16 0 447122 0 Current children cumulated CPU time (s) 1440.44 Current children cumulated vsize (Kb) 1790724 [startup+1450.91 s] /proc/loadavg: 1.02 1.00 1.00 2/64 31480 /proc/meminfo: memFree=15376/2055920 swapFree=4181316/4192956 [pid=31480] ppid=31478 vsize=1804872 CPUtime=1450.45 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 450062 0 0 0 144775 270 0 0 25 0 1 0 204730601 1848188928 450027 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 451218 450027 206 16 0 450659 0 Current children cumulated CPU time (s) 1450.45 Current children cumulated vsize (Kb) 1804872 [startup+1460.91 s] /proc/loadavg: 1.01 1.00 1.00 2/64 31480 /proc/meminfo: memFree=16080/2055920 swapFree=4181316/4192956 [pid=31480] ppid=31478 vsize=1818084 CPUtime=1460.45 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 453370 0 0 0 145773 272 0 0 25 0 1 0 204730601 1861718016 453335 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 454521 453335 206 16 0 453962 0 Current children cumulated CPU time (s) 1460.45 Current children cumulated vsize (Kb) 1818084 [startup+1470.92 s] /proc/loadavg: 1.01 1.00 1.00 2/64 31480 /proc/meminfo: memFree=15888/2055920 swapFree=4181316/4192956 [pid=31480] ppid=31478 vsize=1830844 CPUtime=1470.46 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 456546 0 0 0 146770 276 0 0 25 0 1 0 204730601 1874784256 456511 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 457711 456511 206 16 0 457152 0 Current children cumulated CPU time (s) 1470.46 Current children cumulated vsize (Kb) 1830844 [startup+1480.92 s] /proc/loadavg: 1.01 1.00 1.00 2/64 31480 /proc/meminfo: memFree=1171280/2055920 swapFree=4181316/4192956 [pid=31480] ppid=31478 vsize=0 CPUtime=1480.46 /proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4195332 459644 0 0 0 147749 297 0 0 25 0 1 0 204730601 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/31480/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1480.46 Current children cumulated vsize (Kb) 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 1481.04 CPU time (s): 1480.57 CPU user time (s): 1477.5 CPU system time (s): 3.07553 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (Kb): 1830844 The end
Begin job on node40 on Sun Jun 4 03:10:41 UTC 2006 FILE ID= 36767-1149390641 PBS_JOBID= 313427 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/Pueblo ROOT/tmp/node40/36767-1149390641/instance-36767-1149390641.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-36767-1149390641 -o ROOT/results/node40/solver-36767-1149390641 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node40/36767-1149390641/instance-36767-1149390641.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 325852af8542a0f454599a2893f1b120 RANDOM SEED= 681083417 /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.245 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.245 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: 1610704 kB Buffers: 26964 kB Cached: 342888 kB SwapCached: 3400 kB Active: 118456 kB Inactive: 260196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1610704 kB SwapTotal: 4192956 kB SwapFree: 4181324 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14972 kB Slab: 52608 kB Committed_AS: 428740 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node40 on Sun Jun 4 03:35:22 UTC 2006