Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.74 | 1801.33 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g250.29.opb |
MD5SUM | b0a7c1cc13cb603591c6d50e3dba1a47 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 14500 |
Total number of constraints | 461872 |
Number of constraints which are clauses | 461872 |
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 | 29 |
Number of terms in the objective function | 14500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 14500 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 14500 |
Number of bits of the biggest sum of numbers | 14 |
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 16.07 c starting to Solve 16.08 c #variables read: 14500 - #constraints read: 461873
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/node48/watcher-38006-1149409284 -o ROOT/results/node48/solver-38006-1149409284 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node48/38006-1149409284/instance-38006-1149409284.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.96 1.02 0.99 2/64 4047 /proc/meminfo: memFree=1841200/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=916 CPUtime=0 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 206595517 937984 28 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 3531556 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 229 28 20 16 0 8 0 [startup+10.0021 s] /proc/loadavg: 0.96 1.02 0.99 2/64 4047 /proc/meminfo: memFree=1782000/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=61860 CPUtime=9.99 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 15054 0 0 0 993 6 0 0 25 0 1 0 206595517 63344640 15025 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532408 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 15465 15025 204 16 0 14906 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 61860 [startup+20.0078 s] /proc/loadavg: 0.97 1.02 0.99 2/64 4047 /proc/meminfo: memFree=1773872/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=70432 CPUtime=19.99 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 17141 0 0 0 1992 7 0 0 25 0 1 0 206595517 72122368 17112 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 17608 17112 206 16 0 17049 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 70432 [startup+30.0135 s] /proc/loadavg: 0.97 1.02 0.99 2/64 4047 /proc/meminfo: memFree=1774000/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=70432 CPUtime=29.99 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 17142 0 0 0 2992 7 0 0 25 0 1 0 206595517 72122368 17113 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 17608 17113 206 16 0 17049 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 70432 [startup+40.0192 s] /proc/loadavg: 0.98 1.02 0.99 2/64 4047 /proc/meminfo: memFree=1774000/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=70432 CPUtime=39.99 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 17154 0 0 0 3992 7 0 0 25 0 1 0 206595517 72122368 17125 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 17608 17125 206 16 0 17049 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 70432 [startup+50.0249 s] /proc/loadavg: 0.98 1.02 0.99 2/64 4047 /proc/meminfo: memFree=1764080/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=80472 CPUtime=50 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 19644 0 0 0 4992 8 0 0 25 0 1 0 206595517 82403328 19615 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 20118 19615 206 16 0 19559 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 80472 [startup+60.0306 s] /proc/loadavg: 0.98 1.01 0.99 2/64 4047 /proc/meminfo: memFree=1749488/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=95032 CPUtime=60 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 23292 0 0 0 5990 10 0 0 25 0 1 0 206595517 97312768 23263 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 3969997 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 23758 23263 206 16 0 23199 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 95032 [startup+70.0364 s] /proc/loadavg: 0.98 1.01 0.99 2/64 4047 /proc/meminfo: memFree=1734832/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=109576 CPUtime=70 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 26934 0 0 0 6988 12 0 0 25 0 1 0 206595517 112205824 26905 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519888 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 27394 26905 206 16 0 26835 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 109576 [startup+80.0431 s] /proc/loadavg: 0.99 1.01 0.99 2/64 4047 /proc/meminfo: memFree=1721200/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=123140 CPUtime=80 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 30343 0 0 0 7987 13 0 0 25 0 1 0 206595517 126095360 30314 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 30785 30314 206 16 0 30226 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 123140 [startup+90.0488 s] /proc/loadavg: 0.99 1.01 0.99 2/64 4047 /proc/meminfo: memFree=1708016/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=136384 CPUtime=90 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 33636 0 0 0 8985 15 0 0 25 0 1 0 206595517 139657216 33607 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 34096 33607 206 16 0 33537 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 136384 [startup+100.055 s] /proc/loadavg: 0.99 1.01 0.99 2/64 4047 /proc/meminfo: memFree=1696752/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=147684 CPUtime=100.01 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 36452 0 0 0 9984 17 0 0 25 0 1 0 206595517 151228416 36423 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 36921 36423 206 16 0 36362 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 147684 [startup+110.06 s] /proc/loadavg: 0.99 1.01 0.99 2/64 4047 /proc/meminfo: memFree=1687664/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=156724 CPUtime=110.01 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 38715 0 0 0 10982 19 0 0 25 0 1 0 206595517 160485376 38686 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 39181 38686 206 16 0 38622 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 156724 [startup+120.066 s] /proc/loadavg: 0.99 1.01 0.99 2/64 4047 /proc/meminfo: memFree=1676720/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=167660 CPUtime=120.01 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 41446 0 0 0 11981 20 0 0 25 0 1 0 206595517 171683840 41417 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 41915 41417 206 16 0 41356 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 167660 [startup+130.072 s] /proc/loadavg: 0.99 1.01 0.99 2/64 4047 /proc/meminfo: memFree=1666032/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=178356 CPUtime=130.02 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 44108 0 0 0 12980 22 0 0 25 0 1 0 206595517 182636544 44079 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 44589 44079 206 16 0 44030 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 178356 [startup+140.077 s] /proc/loadavg: 0.99 1.01 0.99 2/64 4047 /proc/meminfo: memFree=1655920/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=188376 CPUtime=140.02 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 46633 0 0 0 13978 24 0 0 25 0 1 0 206595517 192897024 46604 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 47094 46604 206 16 0 46535 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 188376 [startup+150.083 s] /proc/loadavg: 0.99 1.01 0.99 2/64 4047 /proc/meminfo: memFree=1646384/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=197912 CPUtime=150.03 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 49010 0 0 0 14978 25 0 0 25 0 1 0 206595517 202661888 48981 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 49478 48981 206 16 0 48919 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 197912 [startup+160.089 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4047 /proc/meminfo: memFree=1635696/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=208536 CPUtime=160.02 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 51675 0 0 0 15976 26 0 0 25 0 1 0 206595517 213540864 51646 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 52134 51646 206 16 0 51575 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 208536 [startup+170.095 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4047 /proc/meminfo: memFree=1625968/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=218340 CPUtime=170.03 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 54105 0 0 0 16975 28 0 0 25 0 1 0 206595517 223580160 54076 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 54585 54076 206 16 0 54026 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 218340 [startup+180.101 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4047 /proc/meminfo: memFree=1617008/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=227260 CPUtime=180.03 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 56334 0 0 0 17974 29 0 0 25 0 1 0 206595517 232714240 56305 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 56815 56305 206 16 0 56256 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 227260 [startup+190.107 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4047 /proc/meminfo: memFree=1609008/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=235252 CPUtime=190.03 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 58330 0 0 0 18972 31 0 0 25 0 1 0 206595517 240898048 58301 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 58813 58301 206 16 0 58254 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 235252 [startup+200.114 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4047 /proc/meminfo: memFree=1601072/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=243116 CPUtime=200.03 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 60316 0 0 0 19971 32 0 0 25 0 1 0 206595517 248950784 60287 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519997 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 60779 60287 206 16 0 60220 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 243116 [startup+210.12 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4047 /proc/meminfo: memFree=1592240/2055920 swapFree=4181432/4192956 ################ # More data... # ################ /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272028 0 0 0 177977 169 0 0 25 0 1 0 206595517 1117466624 271999 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 272819 271999 206 16 0 272260 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 1091276 [startup+1783.06 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=751608/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1091636 CPUtime=1782.47 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272124 0 0 0 178077 170 0 0 25 0 1 0 206595517 1117835264 272095 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 272909 272095 206 16 0 272350 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 1091636 [startup+1784.06 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=751160/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1092088 CPUtime=1783.47 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272244 0 0 0 178177 170 0 0 25 0 1 0 206595517 1118298112 272215 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 273022 272215 206 16 0 272463 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 1092088 [startup+1785.07 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=750712/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1092560 CPUtime=1784.48 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272361 0 0 0 178278 170 0 0 25 0 1 0 206595517 1118781440 272332 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 273140 272332 206 16 0 272581 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 1092560 [startup+1786.07 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=750200/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1093048 CPUtime=1785.48 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272484 0 0 0 178378 170 0 0 25 0 1 0 206595517 1119281152 272455 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 273262 272455 206 16 0 272703 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 1093048 [startup+1787.07 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=749752/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1093512 CPUtime=1786.49 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272595 0 0 0 178479 170 0 0 25 0 1 0 206595517 1119756288 272566 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 273378 272566 206 16 0 272819 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 1093512 [startup+1788.08 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=749432/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1093768 CPUtime=1787.49 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272666 0 0 0 178579 170 0 0 25 0 1 0 206595517 1120018432 272637 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 273442 272637 206 16 0 272883 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 1093768 [startup+1789.09 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=749048/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1094184 CPUtime=1788.5 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272765 0 0 0 178680 170 0 0 25 0 1 0 206595517 1120444416 272736 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 273546 272736 206 16 0 272987 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 1094184 [startup+1790.09 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=748600/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1094672 CPUtime=1789.5 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272884 0 0 0 178780 170 0 0 25 0 1 0 206595517 1120944128 272855 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557275 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 273668 272855 206 16 0 273109 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 1094672 [startup+1791.09 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=748216/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1095044 CPUtime=1790.5 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 272967 0 0 0 178880 170 0 0 25 0 1 0 206595517 1121325056 272938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 273761 272938 206 16 0 273202 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 1095044 [startup+1792.1 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=747896/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1095420 CPUtime=1791.51 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273049 0 0 0 178981 170 0 0 25 0 1 0 206595517 1121710080 273020 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 273855 273020 206 16 0 273296 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 1095420 [startup+1793.11 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=747448/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1095892 CPUtime=1792.51 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273167 0 0 0 179081 170 0 0 25 0 1 0 206595517 1122193408 273138 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 273973 273138 206 16 0 273414 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 1095892 [startup+1794.11 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=747128/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1096116 CPUtime=1793.52 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273250 0 0 0 179182 170 0 0 25 0 1 0 206595517 1122422784 273221 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 274029 273221 206 16 0 273470 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 1096116 [startup+1795.12 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=746744/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1096596 CPUtime=1794.52 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273343 0 0 0 179282 170 0 0 25 0 1 0 206595517 1122914304 273314 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 274149 273314 206 16 0 273590 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 1096596 [startup+1796.12 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=746360/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1096976 CPUtime=1795.53 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273443 0 0 0 179383 170 0 0 25 0 1 0 206595517 1123303424 273414 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 274244 273414 206 16 0 273685 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 1096976 [startup+1797.12 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=745912/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1097384 CPUtime=1796.53 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273548 0 0 0 179483 170 0 0 25 0 1 0 206595517 1123721216 273519 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 274346 273519 206 16 0 273787 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 1097384 [startup+1798.13 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=745656/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1097632 CPUtime=1797.53 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273614 0 0 0 179583 170 0 0 25 0 1 0 206595517 1123975168 273585 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 274408 273585 206 16 0 273849 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 1097632 [startup+1799.13 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=745336/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1097984 CPUtime=1798.54 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273696 0 0 0 179684 170 0 0 25 0 1 0 206595517 1124335616 273667 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517879 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 274496 273667 206 16 0 273937 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 1097984 [startup+1800.14 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=744888/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1098332 CPUtime=1799.54 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273796 0 0 0 179784 170 0 0 25 0 1 0 206595517 1124691968 273767 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 274583 273767 206 16 0 274024 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 1098332 [startup+1801.14 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=744376/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1098912 CPUtime=1800.55 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273935 0 0 0 179884 171 0 0 25 0 1 0 206595517 1125285888 273906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520113 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 274728 273906 206 16 0 274169 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 1098912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 1.00 0.99 2/64 4049 /proc/meminfo: memFree=744376/2055920 swapFree=4181432/4192956 [pid=4047] ppid=4045 vsize=1098912 CPUtime=1800.56 /proc/4047/stat : 4047 (Pueblo13) R 4045 4047 4001 0 -1 4194304 273935 0 0 0 179885 171 0 0 25 0 1 0 206595517 1125285888 273906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0 /proc/4047/statm: 274728 273906 206 16 0 274169 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 1098912 Sending SIGTERM to -4047 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.33 CPU time (s): 1800.74 CPU user time (s): 1798.85 CPU system time (s): 1.88371 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (Kb): 1098912 The end
Begin job on node48 on Sun Jun 4 08:21:25 UTC 2006 FILE ID= 38006-1149409284 PBS_JOBID= 314591 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node48/38006-1149409284/instance-38006-1149409284.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-38006-1149409284 -o ROOT/results/node48/solver-38006-1149409284 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node48/38006-1149409284/instance-38006-1149409284.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= b0a7c1cc13cb603591c6d50e3dba1a47 RANDOM SEED= 975830551 /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.259 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.259 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: 1841408 kB Buffers: 12532 kB Cached: 135744 kB SwapCached: 3228 kB Active: 53816 kB Inactive: 103172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1841408 kB SwapTotal: 4192956 kB SwapFree: 4181432 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14804 kB Slab: 43488 kB Committed_AS: 386968 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 node48 on Sun Jun 4 08:51:26 UTC 2006