Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Pueblo 1.3 | UNSAT | 1538.47 | 1538.84 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl.opb |
MD5SUM | b2fe1642a1ae97e0b20cfe37f07bcc49 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 304.332 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 21380 |
Total number of constraints | 60984 |
Number of constraints which are clauses | 58828 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2156 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 73 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 262 |
Number of bits of the biggest sum of numbers | 9 |
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 3.07 c starting to Solve 3.07 c #variables read: 21380 - #constraints read: 60983 1538.81 c total time : 1538.67 s 1538.81 s UNSATISFIABLE
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/node72/watcher-37436-1149239820 -o ROOT/results/node72/solver-37436-1149239820 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node72/37436-1149239820/instance-37436-1149239820.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 13942 /proc/meminfo: memFree=1571928/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=2280 CPUtime=0 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 189646456 2334720 153 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4160404688 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 570 165 143 16 0 11 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.95 0.90 2/64 13942 /proc/meminfo: memFree=1555376/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=19976 CPUtime=9.99 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 4384 0 0 0 998 1 0 0 25 0 1 0 189646456 20455424 4355 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557821 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 4994 4355 206 16 0 4435 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 19976 [startup+20.0076 s] /proc/loadavg: 0.94 0.96 0.91 2/64 13942 /proc/meminfo: memFree=1540656/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=34604 CPUtime=19.99 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 8063 0 0 0 1996 3 0 0 25 0 1 0 189646456 35434496 8034 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559129 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 8651 8034 206 16 0 8092 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 34604 [startup+30.0135 s] /proc/loadavg: 0.95 0.96 0.91 2/64 13942 /proc/meminfo: memFree=1528368/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=47100 CPUtime=30 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 11152 0 0 0 2995 5 0 0 25 0 1 0 189646456 48230400 11123 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134554597 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 11775 11123 206 16 0 11216 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 47100 [startup+40.0194 s] /proc/loadavg: 0.95 0.96 0.91 2/64 13942 /proc/meminfo: memFree=1518640/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=56912 CPUtime=40 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 13601 0 0 0 3993 7 0 0 25 0 1 0 189646456 58277888 13572 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 14228 13572 206 16 0 13669 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 56912 [startup+50.0253 s] /proc/loadavg: 0.96 0.96 0.91 2/64 13942 /proc/meminfo: memFree=1509424/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=66036 CPUtime=50.01 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 15900 0 0 0 4992 9 0 0 25 0 1 0 189646456 67620864 15871 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 16509 15871 206 16 0 15950 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 66036 [startup+60.0313 s] /proc/loadavg: 0.97 0.96 0.91 2/64 13942 /proc/meminfo: memFree=1504368/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=71344 CPUtime=60.01 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 17148 0 0 0 5992 9 0 0 25 0 1 0 189646456 73056256 17119 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559129 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 17836 17119 206 16 0 17277 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 71344 [startup+70.0372 s] /proc/loadavg: 0.97 0.96 0.91 2/64 13942 /proc/meminfo: memFree=1495792/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=79940 CPUtime=70.01 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 19293 0 0 0 6990 11 0 0 25 0 1 0 189646456 81858560 19264 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 19985 19264 206 16 0 19426 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 79940 [startup+80.0431 s] /proc/loadavg: 0.98 0.96 0.91 2/64 13942 /proc/meminfo: memFree=1486448/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=89236 CPUtime=80.02 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 21621 0 0 0 7989 13 0 0 25 0 1 0 189646456 91377664 21592 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 22309 21592 206 16 0 21750 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 89236 [startup+90.049 s] /proc/loadavg: 0.98 0.96 0.91 2/64 13942 /proc/meminfo: memFree=1478448/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=97220 CPUtime=90.01 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 23616 0 0 0 8987 14 0 0 25 0 1 0 189646456 99553280 23587 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134553172 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 24305 23587 206 16 0 23746 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 97220 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.91 2/64 13942 /proc/meminfo: memFree=1477808/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=97960 CPUtime=100.02 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 23785 0 0 0 9987 15 0 0 25 0 1 0 189646456 100311040 23756 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 24490 23756 206 16 0 23931 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 97960 [startup+110.061 s] /proc/loadavg: 0.98 0.96 0.91 2/64 13942 /proc/meminfo: memFree=1477808/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=97960 CPUtime=110.03 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 23785 0 0 0 10988 15 0 0 25 0 1 0 189646456 100311040 23756 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 24490 23756 206 16 0 23931 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 97960 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13942 /proc/meminfo: memFree=1477808/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=97960 CPUtime=120.03 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 23785 0 0 0 11988 15 0 0 25 0 1 0 189646456 100311040 23756 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520015 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 24490 23756 206 16 0 23931 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 97960 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13942 /proc/meminfo: memFree=1477808/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=97960 CPUtime=130.03 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 23785 0 0 0 12988 15 0 0 25 0 1 0 189646456 100311040 23756 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 24490 23756 206 16 0 23931 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 97960 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13942 /proc/meminfo: memFree=1477808/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=97960 CPUtime=140.04 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 23785 0 0 0 13989 15 0 0 25 0 1 0 189646456 100311040 23756 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 24490 23756 206 16 0 23931 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 97960 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13942 /proc/meminfo: memFree=1477808/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=97960 CPUtime=150.04 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 23790 0 0 0 14989 15 0 0 25 0 1 0 189646456 100311040 23761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 24490 23761 206 16 0 23931 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 97960 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13942 /proc/meminfo: memFree=1477744/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=97960 CPUtime=160.04 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 23791 0 0 0 15989 15 0 0 25 0 1 0 189646456 100311040 23762 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 24490 23762 206 16 0 23931 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 97960 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13942 /proc/meminfo: memFree=1477744/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=97960 CPUtime=170.05 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 23791 0 0 0 16990 15 0 0 25 0 1 0 189646456 100311040 23762 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 24490 23762 206 16 0 23931 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 97960 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13942 /proc/meminfo: memFree=1473648/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=101940 CPUtime=180.04 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 24813 0 0 0 17989 15 0 0 25 0 1 0 189646456 104386560 24784 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 2971259 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 25485 24785 206 16 0 24926 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 101940 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13942 /proc/meminfo: memFree=1468080/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=107660 CPUtime=190.05 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 26206 0 0 0 18989 16 0 0 25 0 1 0 189646456 110243840 26177 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 26915 26177 206 16 0 26356 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 107660 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13942 /proc/meminfo: memFree=1463152/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=112436 CPUtime=200.05 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 27432 0 0 0 19988 17 0 0 25 0 1 0 189646456 115134464 27403 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 28109 27403 206 16 0 27550 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 112436 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13942 /proc/meminfo: memFree=1457968/2055920 swapFree=4182504/4192956 ################ # More data... # ################ /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1320.44 Current children cumulated vsize (Kb) 175344 [startup+1330.77 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1330.44 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 133011 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1330.44 Current children cumulated vsize (Kb) 175344 [startup+1340.78 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1340.45 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 134012 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1340.45 Current children cumulated vsize (Kb) 175344 [startup+1350.78 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1350.45 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 135012 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1350.45 Current children cumulated vsize (Kb) 175344 [startup+1360.79 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1360.45 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 136012 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1360.45 Current children cumulated vsize (Kb) 175344 [startup+1370.79 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400304/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1370.46 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 137013 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1370.46 Current children cumulated vsize (Kb) 175344 [startup+1380.8 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400304/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1380.46 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 138013 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519889 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1380.46 Current children cumulated vsize (Kb) 175344 [startup+1390.81 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400304/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1390.46 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 139013 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1390.46 Current children cumulated vsize (Kb) 175344 [startup+1400.81 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400304/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1400.47 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 140014 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519889 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1400.47 Current children cumulated vsize (Kb) 175344 [startup+1410.82 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400304/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1410.47 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 141014 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1410.47 Current children cumulated vsize (Kb) 175344 [startup+1420.82 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400304/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1420.47 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 142014 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1420.47 Current children cumulated vsize (Kb) 175344 [startup+1430.83 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1430.48 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 143015 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527552 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1430.48 Current children cumulated vsize (Kb) 175344 [startup+1440.84 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1440.48 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 144015 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520198 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1440.48 Current children cumulated vsize (Kb) 175344 [startup+1450.84 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1450.48 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 145015 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1450.48 Current children cumulated vsize (Kb) 175344 [startup+1460.85 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1460.49 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 146016 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520059 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1460.49 Current children cumulated vsize (Kb) 175344 [startup+1470.85 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1470.49 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 147016 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1470.49 Current children cumulated vsize (Kb) 175344 [startup+1480.86 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1480.49 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 148016 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559480 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1480.49 Current children cumulated vsize (Kb) 175344 [startup+1490.86 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1490.5 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 149017 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1490.5 Current children cumulated vsize (Kb) 175344 [startup+1500.87 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1500.5 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 150017 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527136 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1500.5 Current children cumulated vsize (Kb) 175344 [startup+1510.88 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1510.5 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 151017 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134553120 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1510.5 Current children cumulated vsize (Kb) 175344 [startup+1520.88 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1520.51 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 152018 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520147 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1520.51 Current children cumulated vsize (Kb) 175344 [startup+1530.89 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13944 /proc/meminfo: memFree=1400240/2055920 swapFree=4182504/4192956 [pid=13942] ppid=13940 vsize=175344 CPUtime=1530.51 /proc/13942/stat : 13942 (Pueblo13) R 13940 13942 13897 0 -1 4194304 43067 0 0 0 153018 33 0 0 25 0 1 0 189646456 179552256 43035 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559471 0 0 4096 0 0 0 0 17 1 0 0 /proc/13942/statm: 43836 43035 206 16 0 43277 0 Current children cumulated CPU time (s) 1530.51 Current children cumulated vsize (Kb) 175344 Child status: 20 Real time (s): 1538.84 CPU time (s): 1538.47 CPU user time (s): 1538.11 CPU system time (s): 0.358945 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (Kb): 175344
Begin job on node72 on Fri Jun 2 09:17:00 UTC 2006 FILE ID= 37436-1149239820 PBS_JOBID= 297316 BENCH NAME= ROOT/tmp/node72/37436-1149239820/instance-37436-1149239820.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node72/37436-1149239820/instance-37436-1149239820.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-37436-1149239820 -o ROOT/results/node72/solver-37436-1149239820 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node72/37436-1149239820/instance-37436-1149239820.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= b2fe1642a1ae97e0b20cfe37f07bcc49 RANDOM SEED= 221112109 /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.227 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.227 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: 1572136 kB Buffers: 37144 kB Cached: 369652 kB SwapCached: 2428 kB Active: 106704 kB Inactive: 309088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1572136 kB SwapTotal: 4192956 kB SwapFree: 4182504 kB Dirty: 168 kB Writeback: 0 kB Mapped: 16020 kB Slab: 54004 kB Committed_AS: 230620 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node72 on Fri Jun 2 09:42:39 UTC 2006