Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | Signal | 1596.8 | 1597.54 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb |
MD5SUM | 5f836d1b8d150c1925229546ed283812 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 462 |
Best CPU time to get the best result obtained on this benchmark | 1800.86 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 453 |
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 | 491651 |
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 | 491651 |
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.71 c starting to Solve 18.71 c #variables read: 10000 - #constraints read: 656901 25.06 o 6704 25.22 o 6642 25.52 o 6597 25.71 o 6587 26.02 o 6439 26.19 o 6425 27.54 o 6400 30.53 o 6349 30.70 o 6317 32.73 o 6295 32.88 o 6269 37.38 o 6135 37.53 o 6060 37.73 o 5924 38.06 o 5915 38.61 o 5822 38.77 o 5813 39.36 o 5811 39.53 o 5744 39.72 o 5691 39.92 o 5686 40.12 o 5676 40.28 o 5659 40.76 o 5658 40.93 o 5623 41.15 o 5619 42.04 o 5614 42.26 o 5606 188.02 o 5572 188.16 o 5568 198.29 o 5563 198.44 o 5557 439.44 o 5525 439.62 o 5494 439.78 o 5463 555.81 o 5460 556.35 o 5449 572.19 o 5436 652.03 o 5415 669.81 o 5408 670.31 o 5406 671.39 o 5384 671.53 o 5360 671.71 o 5358 671.94 o 5351 1597.19 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/node68/watcher-36768-1149391300 -o ROOT/results/node68/solver-36768-1149391300 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node68/36768-1149391300/instance-36768-1149391300.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1422136/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=964 CPUtime=0 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 204799544 987136 35 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10515236 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 276 39 30 16 0 8 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1340744/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=84472 CPUtime=9.99 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 20603 0 0 0 989 10 0 0 25 0 1 0 204799544 86499328 20574 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10948306 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 21118 20574 204 16 0 20559 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 84472 [startup+20.0078 s] /proc/loadavg: 0.94 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1331272/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=95468 CPUtime=19.99 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 23022 0 0 0 1988 11 0 0 25 0 1 0 204799544 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 95468 [startup+30.0135 s] /proc/loadavg: 0.95 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1331272/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=95468 CPUtime=29.99 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 23022 0 0 0 2988 11 0 0 25 0 1 0 204799544 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 95468 [startup+40.0192 s] /proc/loadavg: 0.96 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1331400/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=95468 CPUtime=39.99 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 23022 0 0 0 3988 11 0 0 25 0 1 0 204799544 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134530538 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 95468 [startup+50.025 s] /proc/loadavg: 0.96 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1331400/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=95468 CPUtime=50 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 23022 0 0 0 4988 12 0 0 25 0 1 0 204799544 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 95468 [startup+60.0307 s] /proc/loadavg: 0.97 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1331400/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=95468 CPUtime=59.99 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 23022 0 0 0 5987 12 0 0 25 0 1 0 204799544 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 95468 [startup+70.0364 s] /proc/loadavg: 0.97 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1330440/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=96436 CPUtime=69.99 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 23274 0 0 0 6987 12 0 0 25 0 1 0 204799544 98750464 23245 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 24109 23245 206 16 0 23550 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 96436 [startup+80.0421 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1316296/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=110576 CPUtime=80 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 26796 0 0 0 7985 15 0 0 25 0 1 0 204799544 113229824 26767 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 27644 26767 206 16 0 27085 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 110576 [startup+90.0479 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1303368/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=123524 CPUtime=90 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 30028 0 0 0 8984 16 0 0 25 0 1 0 204799544 126488576 29999 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 30881 29999 206 16 0 30322 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 123524 [startup+100.054 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1290120/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=136744 CPUtime=100 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 33341 0 0 0 9983 17 0 0 25 0 1 0 204799544 140025856 33312 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528556 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 34186 33312 206 16 0 33627 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 136744 [startup+110.059 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1273608/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=153264 CPUtime=110 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 37454 0 0 0 10980 20 0 0 25 0 1 0 204799544 156942336 37425 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 38316 37425 206 16 0 37757 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 153264 [startup+120.065 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1257608/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=169156 CPUtime=120.01 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 41453 0 0 0 11978 23 0 0 25 0 1 0 204799544 173215744 41424 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 42289 41424 206 16 0 41730 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 169156 [startup+130.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1239624/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=187244 CPUtime=130.01 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 45939 0 0 0 12975 26 0 0 25 0 1 0 204799544 191737856 45910 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 46811 45910 206 16 0 46252 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 187244 [startup+140.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1220552/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=206256 CPUtime=140.01 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 50692 0 0 0 13972 29 0 0 25 0 1 0 204799544 211206144 50663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 51564 50663 206 16 0 51005 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 206256 [startup+150.082 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1205896/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=220900 CPUtime=150.01 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 54345 0 0 0 14970 31 0 0 25 0 1 0 204799544 226201600 54316 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528023 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 55225 54316 206 16 0 54666 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 220900 [startup+160.088 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1196232/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=230540 CPUtime=160.01 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 56756 0 0 0 15969 32 0 0 25 0 1 0 204799544 236072960 56727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 57635 56727 206 16 0 57076 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 230540 [startup+170.094 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1180360/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=246376 CPUtime=170.02 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 60719 0 0 0 16967 35 0 0 25 0 1 0 204799544 252289024 60690 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 61594 60690 206 16 0 61035 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 246376 [startup+180.099 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1164488/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=262124 CPUtime=180.03 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 64665 0 0 0 17964 39 0 0 25 0 1 0 204799544 268414976 64636 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 65531 64636 206 16 0 64972 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 262124 [startup+190.105 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1150728/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=275808 CPUtime=190.02 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 68102 0 0 0 18962 40 0 0 25 0 1 0 204799544 282427392 68073 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 68952 68073 206 16 0 68393 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 275808 [startup+200.112 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1135240/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=291540 CPUtime=200.03 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 71968 0 0 0 19960 43 0 0 25 0 1 0 204799544 298536960 71939 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 72885 71939 206 16 0 72326 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 291540 [startup+210.118 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29636 /proc/meminfo: memFree=1118216/2055920 swapFree=4182304/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1380.25 Current children cumulated vsize (Kb) 1553728 [startup+1390.82 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15304/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1567676 CPUtime=1390.24 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 390787 0 0 0 138787 237 0 0 25 0 1 0 204799544 1605300224 390742 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 391919 390742 206 16 0 391360 0 Current children cumulated CPU time (s) 1390.24 Current children cumulated vsize (Kb) 1567676 [startup+1400.82 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=16328/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1580664 CPUtime=1400.23 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 393993 0 0 0 139783 240 0 0 25 0 1 0 204799544 1618599936 393948 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 395166 393948 206 16 0 394607 0 Current children cumulated CPU time (s) 1400.23 Current children cumulated vsize (Kb) 1580664 [startup+1410.83 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15944/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1594944 CPUtime=1410.24 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 397568 0 0 0 140780 244 0 0 25 0 1 0 204799544 1633222656 397523 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557382 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 398736 397523 206 16 0 398177 0 Current children cumulated CPU time (s) 1410.24 Current children cumulated vsize (Kb) 1594944 [startup+1420.84 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=16136/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1611660 CPUtime=1420.24 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 401764 0 0 0 141778 246 0 0 25 0 1 0 204799544 1650339840 401719 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559599 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 402915 401719 206 16 0 402356 0 Current children cumulated CPU time (s) 1420.24 Current children cumulated vsize (Kb) 1611660 [startup+1430.84 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15880/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1627248 CPUtime=1430.24 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 405684 0 0 0 142776 248 0 0 25 0 1 0 204799544 1666301952 405639 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 406812 405639 206 16 0 406253 0 Current children cumulated CPU time (s) 1430.24 Current children cumulated vsize (Kb) 1627248 [startup+1440.85 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=16072/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1641120 CPUtime=1440.25 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 409134 0 0 0 143773 252 0 0 25 0 1 0 204799544 1680506880 409089 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10950267 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 410280 409089 206 16 0 409721 0 Current children cumulated CPU time (s) 1440.25 Current children cumulated vsize (Kb) 1641120 [startup+1450.85 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15368/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1655804 CPUtime=1450.25 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 412799 0 0 0 144771 254 0 0 25 0 1 0 204799544 1695543296 412754 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 413951 412754 206 16 0 413392 0 Current children cumulated CPU time (s) 1450.25 Current children cumulated vsize (Kb) 1655804 [startup+1460.86 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15304/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1669788 CPUtime=1460.24 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 416287 0 0 0 145767 257 0 0 25 0 1 0 204799544 1709862912 416242 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 417447 416242 206 16 0 416888 0 Current children cumulated CPU time (s) 1460.24 Current children cumulated vsize (Kb) 1669788 [startup+1470.86 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=16072/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1684432 CPUtime=1470.25 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 419951 0 0 0 146765 260 0 0 25 0 1 0 204799544 1724858368 419906 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 421108 419906 206 16 0 420549 0 Current children cumulated CPU time (s) 1470.25 Current children cumulated vsize (Kb) 1684432 [startup+1480.87 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15368/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1697512 CPUtime=1480.25 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 423231 0 0 0 147763 262 0 0 25 0 1 0 204799544 1738252288 423186 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 424378 423186 206 16 0 423819 0 Current children cumulated CPU time (s) 1480.25 Current children cumulated vsize (Kb) 1697512 [startup+1490.88 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=16328/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1710424 CPUtime=1490.25 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 426465 0 0 0 148760 265 0 0 25 0 1 0 204799544 1751474176 426420 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 427606 426420 206 16 0 427047 0 Current children cumulated CPU time (s) 1490.25 Current children cumulated vsize (Kb) 1710424 [startup+1500.88 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=16328/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1723068 CPUtime=1500.26 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 429606 0 0 0 149757 269 0 0 25 0 1 0 204799544 1764421632 429561 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 430767 429561 206 16 0 430208 0 Current children cumulated CPU time (s) 1500.26 Current children cumulated vsize (Kb) 1723068 [startup+1510.89 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=16072/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1737240 CPUtime=1510.26 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 433168 0 0 0 150755 271 0 0 25 0 1 0 204799544 1778933760 433123 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 434310 433123 206 16 0 433751 0 Current children cumulated CPU time (s) 1510.26 Current children cumulated vsize (Kb) 1737240 [startup+1520.89 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=16008/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1749692 CPUtime=1520.27 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 436291 0 0 0 151754 273 0 0 25 0 1 0 204799544 1791684608 436246 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 437423 436246 206 16 0 436864 0 Current children cumulated CPU time (s) 1520.27 Current children cumulated vsize (Kb) 1749692 [startup+1530.9 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15688/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1762332 CPUtime=1530.27 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 439435 0 0 0 152750 277 0 0 25 0 1 0 204799544 1804627968 439390 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 440583 439390 206 16 0 440024 0 Current children cumulated CPU time (s) 1530.27 Current children cumulated vsize (Kb) 1762332 [startup+1540.91 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15816/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1774472 CPUtime=1540.27 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 442461 0 0 0 153748 279 0 0 25 0 1 0 204799544 1817059328 442416 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 443618 442416 206 16 0 443059 0 Current children cumulated CPU time (s) 1540.27 Current children cumulated vsize (Kb) 1774472 [startup+1550.91 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15240/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1787264 CPUtime=1550.27 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 445667 0 0 0 154746 281 0 0 25 0 1 0 204799544 1830158336 445622 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 446816 445622 206 16 0 446257 0 Current children cumulated CPU time (s) 1550.27 Current children cumulated vsize (Kb) 1787264 [startup+1560.92 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15048/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1798164 CPUtime=1560.28 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 448409 0 0 0 155744 284 0 0 25 0 1 0 204799544 1841319936 448364 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520059 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 449541 448364 206 16 0 448982 0 Current children cumulated CPU time (s) 1560.28 Current children cumulated vsize (Kb) 1798164 [startup+1570.93 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15368/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1811692 CPUtime=1570.28 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 451777 0 0 0 156741 287 0 0 25 0 1 0 204799544 1855172608 451732 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517727 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 452923 451732 206 16 0 452364 0 Current children cumulated CPU time (s) 1570.28 Current children cumulated vsize (Kb) 1811692 [startup+1580.93 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15752/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1822020 CPUtime=1580.29 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 454366 0 0 0 157740 289 0 0 25 0 1 0 204799544 1865748480 454321 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 455505 454321 206 16 0 454946 0 Current children cumulated CPU time (s) 1580.29 Current children cumulated vsize (Kb) 1822020 [startup+1590.94 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29638 /proc/meminfo: memFree=15048/2055920 swapFree=4182304/4192956 [pid=29636] ppid=29634 vsize=1835124 CPUtime=1590.29 /proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 457634 0 0 0 158737 292 0 0 25 0 1 0 204799544 1879166976 457589 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/29636/statm: 458781 457589 206 16 0 458222 0 Current children cumulated CPU time (s) 1590.29 Current children cumulated vsize (Kb) 1835124 Child ended because it received signal 6 (SIGABRT) Real time (s): 1597.54 CPU time (s): 1596.8 CPU user time (s): 1593.58 CPU system time (s): 3.21051 CPU usage (%): 99.9532 Max. virtual memory (cumulated for all children) (Kb): 1835124 The end
Begin job on node68 on Sun Jun 4 03:21:40 UTC 2006 FILE ID= 36768-1149391300 PBS_JOBID= 313448 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node68/36768-1149391300/instance-36768-1149391300.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-36768-1149391300 -o ROOT/results/node68/solver-36768-1149391300 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node68/36768-1149391300/instance-36768-1149391300.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 5f836d1b8d150c1925229546ed283812 RANDOM SEED= 578402394 /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.279 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.279 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: 1422344 kB Buffers: 22008 kB Cached: 544624 kB SwapCached: 2256 kB Active: 106016 kB Inactive: 469280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1422344 kB SwapTotal: 4192956 kB SwapFree: 4182304 kB Dirty: 160 kB Writeback: 0 kB Mapped: 15548 kB Slab: 44296 kB Committed_AS: 399696 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node68 on Sun Jun 4 03:48:18 UTC 2006