Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.5 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb |
MD5SUM | 542c2b53b45e753224c38b905fee77fb |
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 | 155427 |
Total number of constraints | 2674 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2674 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 7267 |
Number of terms in the objective function | 15205 |
Biggest coefficient in the objective function | 24902 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 537080 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 537080 |
Number of bits of the biggest sum of numbers | 20 |
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 7.54 c starting to Solve 7.54 c #variables read: 155427 - #constraints read: 4867
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/node15/watcher-37591-1149324284 -o ROOT/results/node15/solver-37591-1149324284 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node15/37591-1149324284/instance-37591-1149324284.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.94 1.01 0.99 2/64 6390 /proc/meminfo: memFree=1172384/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=172 CPUtime=0 /proc/6390/stat : 6390 (Pueblo13) D 6388 6390 6344 0 -1 4194304 38 0 0 0 0 0 0 0 18 0 1 0 198091272 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7512868 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/6390/statm: 43 23 18 16 0 2 0 [startup+10.0021 s] /proc/loadavg: 0.95 1.01 0.99 2/64 6390 /proc/meminfo: memFree=1083176/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=9.99 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 796 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 101212 [startup+20.0078 s] /proc/loadavg: 0.96 1.01 0.99 2/64 6390 /proc/meminfo: memFree=1083496/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=19.99 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 1796 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 101212 [startup+30.0135 s] /proc/loadavg: 0.96 1.01 0.99 2/64 6390 /proc/meminfo: memFree=1083624/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=29.99 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 2796 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 101212 [startup+40.0192 s] /proc/loadavg: 0.97 1.01 0.99 2/64 6390 /proc/meminfo: memFree=1083624/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=39.99 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 3796 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 101212 [startup+50.025 s] /proc/loadavg: 0.97 1.01 0.99 2/64 6390 /proc/meminfo: memFree=1083688/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=49.99 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 4796 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 101212 [startup+60.0307 s] /proc/loadavg: 0.98 1.01 0.99 2/64 6390 /proc/meminfo: memFree=1083688/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=59.99 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 5796 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 101212 [startup+70.0364 s] /proc/loadavg: 0.98 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083688/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=70 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 6797 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 101212 [startup+80.0421 s] /proc/loadavg: 0.98 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083688/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=80 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 7797 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 101212 [startup+90.0478 s] /proc/loadavg: 0.98 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083624/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=90 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 8797 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 101212 [startup+100.054 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083624/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=100 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 9797 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 101212 [startup+110.059 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083624/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=110.01 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 10798 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 101212 [startup+120.065 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083688/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=120.01 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 11798 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 101212 [startup+130.071 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083688/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=130.01 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 12798 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 101212 [startup+140.076 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083688/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=140.01 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 13798 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 101212 [startup+150.082 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083688/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=150.01 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 14798 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 101212 [startup+160.088 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083688/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=160.01 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 15798 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528319 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 101212 [startup+170.095 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083688/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=170.02 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 16799 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 101212 [startup+180.101 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083688/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=180.02 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 17799 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 101212 [startup+190.108 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083688/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=190.02 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 18799 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528319 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 101212 [startup+200.114 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083624/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=101212 CPUtime=200.03 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 762487 0 0 0 19800 203 0 0 25 0 1 0 198091272 103641088 22532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 25303 22532 206 16 0 24744 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 101212 [startup+210.12 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6390 /proc/meminfo: memFree=1083624/2055920 swapFree=4181408/4192956 ################ # More data... # ################ /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764257 0 0 0 177928 210 0 0 25 0 1 0 198091272 111017984 24302 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27104 24302 206 16 0 26545 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 108416 [startup+1783.05 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076400/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108416 CPUtime=1782.38 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764260 0 0 0 178028 210 0 0 25 0 1 0 198091272 111017984 24305 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27104 24305 206 16 0 26545 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 108416 [startup+1784.06 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076400/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108540 CPUtime=1783.39 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764263 0 0 0 178129 210 0 0 25 0 1 0 198091272 111144960 24308 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27135 24308 206 16 0 26576 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 108540 [startup+1785.06 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076336/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108540 CPUtime=1784.39 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764267 0 0 0 178229 210 0 0 25 0 1 0 198091272 111144960 24312 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27135 24312 206 16 0 26576 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 108540 [startup+1786.06 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076336/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108540 CPUtime=1785.4 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764270 0 0 0 178330 210 0 0 25 0 1 0 198091272 111144960 24315 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27135 24315 206 16 0 26576 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 108540 [startup+1787.07 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076336/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108540 CPUtime=1786.4 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764273 0 0 0 178430 210 0 0 25 0 1 0 198091272 111144960 24318 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27135 24318 206 16 0 26576 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 108540 [startup+1788.07 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076336/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108540 CPUtime=1787.41 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764278 0 0 0 178531 210 0 0 25 0 1 0 198091272 111144960 24323 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27135 24323 206 16 0 26576 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 108540 [startup+1789.08 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076272/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108540 CPUtime=1788.41 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764282 0 0 0 178631 210 0 0 25 0 1 0 198091272 111144960 24327 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27135 24327 206 16 0 26576 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 108540 [startup+1790.09 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076272/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108540 CPUtime=1789.42 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764284 0 0 0 178732 210 0 0 25 0 1 0 198091272 111144960 24329 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27135 24329 206 16 0 26576 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 108540 [startup+1791.09 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076272/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108540 CPUtime=1790.42 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764288 0 0 0 178832 210 0 0 25 0 1 0 198091272 111144960 24333 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27135 24333 206 16 0 26576 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 108540 [startup+1792.09 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076272/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108540 CPUtime=1791.42 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764291 0 0 0 178932 210 0 0 25 0 1 0 198091272 111144960 24336 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27135 24336 206 16 0 26576 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (Kb) 108540 [startup+1793.1 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076272/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108664 CPUtime=1792.43 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764294 0 0 0 179033 210 0 0 25 0 1 0 198091272 111271936 24339 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27166 24339 206 16 0 26607 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 108664 [startup+1794.1 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076208/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108664 CPUtime=1793.43 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764298 0 0 0 179133 210 0 0 25 0 1 0 198091272 111271936 24343 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27166 24343 206 16 0 26607 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 108664 [startup+1795.11 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076208/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108664 CPUtime=1794.44 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764302 0 0 0 179234 210 0 0 25 0 1 0 198091272 111271936 24347 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527765 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27166 24347 206 16 0 26607 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 108664 [startup+1796.11 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076208/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108664 CPUtime=1795.44 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764305 0 0 0 179334 210 0 0 25 0 1 0 198091272 111271936 24350 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27166 24350 206 16 0 26607 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (Kb) 108664 [startup+1797.12 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076208/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108664 CPUtime=1796.45 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764308 0 0 0 179435 210 0 0 25 0 1 0 198091272 111271936 24353 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27166 24353 206 16 0 26607 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 108664 [startup+1798.12 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076144/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108664 CPUtime=1797.45 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764311 0 0 0 179535 210 0 0 25 0 1 0 198091272 111271936 24356 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27166 24356 206 16 0 26607 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 108664 [startup+1799.13 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076144/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108664 CPUtime=1798.46 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764313 0 0 0 179636 210 0 0 25 0 1 0 198091272 111271936 24358 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27166 24358 206 16 0 26607 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 108664 [startup+1800.13 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076144/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108664 CPUtime=1799.46 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764317 0 0 0 179736 210 0 0 25 0 1 0 198091272 111271936 24362 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27166 24362 206 16 0 26607 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 108664 [startup+1801.14 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076144/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108664 CPUtime=1800.47 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764321 0 0 0 179837 210 0 0 25 0 1 0 198091272 111271936 24366 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528224 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27166 24366 206 16 0 26607 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (Kb) 108664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6585 /proc/meminfo: memFree=1076144/2055920 swapFree=4181408/4192956 [pid=6390] ppid=6388 vsize=108664 CPUtime=1800.47 /proc/6390/stat : 6390 (Pueblo13) R 6388 6390 6344 0 -1 4194304 764321 0 0 0 179837 210 0 0 25 0 1 0 198091272 111271936 24366 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557234 0 0 4096 0 0 0 0 17 1 0 0 /proc/6390/statm: 27166 24366 206 16 0 26607 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (Kb) 108664 Sending SIGTERM to -6390 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.5 CPU user time (s): 1798.37 CPU system time (s): 2.12568 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (Kb): 108664 The end
Begin job on node15 on Sat Jun 3 08:44:45 UTC 2006 FILE ID= 37591-1149324284 PBS_JOBID= 309534 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node15/37591-1149324284/instance-37591-1149324284.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-37591-1149324284 -o ROOT/results/node15/solver-37591-1149324284 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node15/37591-1149324284/instance-37591-1149324284.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 542c2b53b45e753224c38b905fee77fb RANDOM SEED= 107808329 /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.285 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.285 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: 1172784 kB Buffers: 40972 kB Cached: 767096 kB SwapCached: 3308 kB Active: 133716 kB Inactive: 683152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1172784 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14692 kB Slab: 52240 kB Committed_AS: 318460 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node15 on Sat Jun 3 09:14:46 UTC 2006