Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.74 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sc50a.opb |
MD5SUM | 2dbafacadc353eeed0e4ce2357d3a727 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -15 |
Best CPU time to get the best result obtained on this benchmark | 1800.66 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -17 |
Optimality of the best value was proved | NO |
Number of variables | 1440 |
Total number of constraints | 49 |
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 | 49 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
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 | 524371 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node25/41360-1149333917/instance-41360-1149333917.opb ...... 804.59 c done parsing opb. 804.59 o 524317
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/node25/watcher-41360-1149333917 -o ROOT/results/node25/solver-41360-1149333917 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node25/41360-1149333917/instance-41360-1149333917.opb 271161287 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1828608/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=1536 CPUtime=0 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 199055066 1572864 178 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 384 178 99 232 0 149 0 [startup+10.003 s] /proc/loadavg: 0.93 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1819712/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=11876 CPUtime=10 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 2533 0 0 0 992 8 0 0 25 0 1 0 199055066 12161024 2329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 2969 2329 105 232 0 2734 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 11876 [startup+20.0089 s] /proc/loadavg: 0.94 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1815872/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=20900 CPUtime=20 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 3517 0 0 0 1987 13 0 0 25 0 1 0 199055066 21401600 3313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 5225 3313 105 232 0 4990 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 20900 [startup+30.0148 s] /proc/loadavg: 0.95 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1813184/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=21924 CPUtime=30 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 4372 0 0 0 2983 17 0 0 25 0 1 0 199055066 22450176 3975 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 5481 3975 105 232 0 5246 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 21924 [startup+40.0207 s] /proc/loadavg: 0.96 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1811264/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=22372 CPUtime=40 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 4866 0 0 0 3980 20 0 0 25 0 1 0 199055066 22908928 4469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558878 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 5593 4469 105 232 0 5358 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 22372 [startup+50.0266 s] /proc/loadavg: 0.96 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1808064/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=22820 CPUtime=50.01 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 5672 0 0 0 4977 24 0 0 25 0 1 0 199055066 23367680 5275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 5705 5275 105 232 0 5470 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 22820 [startup+60.0326 s] /proc/loadavg: 0.97 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1806912/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=39500 CPUtime=60.01 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 5949 0 0 0 5975 26 0 0 25 0 1 0 199055066 40448000 5552 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 9875 5552 105 232 0 9640 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 39500 [startup+70.0395 s] /proc/loadavg: 0.97 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1805568/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=39660 CPUtime=70.01 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 6288 0 0 0 6973 28 0 0 25 0 1 0 199055066 40611840 5891 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 9915 5891 105 232 0 9680 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 39660 [startup+80.0454 s] /proc/loadavg: 0.98 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1803776/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=39956 CPUtime=80.02 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 6730 0 0 0 7971 31 0 0 25 0 1 0 199055066 40914944 6333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549039 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 9989 6334 105 232 0 9754 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 39956 [startup+90.0513 s] /proc/loadavg: 0.98 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1801920/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=41976 CPUtime=90.02 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 7585 0 0 0 8969 33 0 0 25 0 1 0 199055066 42983424 6803 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 10494 6803 105 232 0 10259 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 41976 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1801472/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=42444 CPUtime=100.03 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 7710 0 0 0 9967 36 0 0 25 0 1 0 199055066 43462656 6928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 10611 6928 105 232 0 10376 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 42444 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1800704/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=42596 CPUtime=110.03 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 7897 0 0 0 10965 38 0 0 25 0 1 0 199055066 43618304 7115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 10649 7115 105 232 0 10414 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 42596 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1799424/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=42728 CPUtime=120.03 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 8215 0 0 0 11963 40 0 0 25 0 1 0 199055066 43753472 7433 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 10682 7433 105 232 0 10447 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 42728 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1797696/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=43008 CPUtime=130.03 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 8647 0 0 0 12962 41 0 0 25 0 1 0 199055066 44040192 7865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 10752 7865 105 232 0 10517 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 43008 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1796480/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=43344 CPUtime=140.04 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 8944 0 0 0 13959 45 0 0 25 0 1 0 199055066 44384256 8162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 10836 8162 105 232 0 10601 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 43344 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1795520/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=43504 CPUtime=150.05 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 9183 0 0 0 14958 47 0 0 25 0 1 0 199055066 44548096 8401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 10876 8401 105 232 0 10641 0 Current children cumulated CPU time (s) 150.05 Current children cumulated vsize (Kb) 43504 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1793984/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=43800 CPUtime=160.04 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 9570 0 0 0 15955 49 0 0 25 0 1 0 199055066 44851200 8788 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 10950 8788 105 232 0 10715 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 43800 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1792000/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=44296 CPUtime=170.05 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 10072 0 0 0 16953 52 0 0 25 0 1 0 199055066 45359104 9290 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 11074 9290 105 232 0 10839 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 44296 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1791360/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=44484 CPUtime=180.05 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 10227 0 0 0 17952 53 0 0 25 0 1 0 199055066 45551616 9445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 11121 9445 105 232 0 10886 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 44484 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1791168/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=44484 CPUtime=190.06 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 10275 0 0 0 18950 56 0 0 25 0 1 0 199055066 45551616 9493 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 11121 9493 105 232 0 10886 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 44484 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1791040/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=44484 CPUtime=200.06 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 10299 0 0 0 19948 58 0 0 25 0 1 0 199055066 45551616 9517 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 11121 9517 105 232 0 10886 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 44484 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20337 /proc/meminfo: memFree=1790848/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26017 0 0 0 177705 457 0 0 25 0 1 0 199055066 118759424 19856 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19856 108 232 0 28759 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (Kb) 115976 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749256/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1782.63 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26018 0 0 0 177806 457 0 0 25 0 1 0 199055066 118759424 19857 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19857 108 232 0 28759 0 Current children cumulated CPU time (s) 1782.63 Current children cumulated vsize (Kb) 115976 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749256/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1783.63 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26019 0 0 0 177906 457 0 0 25 0 1 0 199055066 118759424 19858 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19858 108 232 0 28759 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (Kb) 115976 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749256/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1784.63 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26023 0 0 0 178006 457 0 0 25 0 1 0 199055066 118759424 19862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19862 108 232 0 28759 0 Current children cumulated CPU time (s) 1784.63 Current children cumulated vsize (Kb) 115976 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749256/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1785.64 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26025 0 0 0 178107 457 0 0 25 0 1 0 199055066 118759424 19864 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19864 108 232 0 28759 0 Current children cumulated CPU time (s) 1785.64 Current children cumulated vsize (Kb) 115976 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1786.64 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26026 0 0 0 178207 457 0 0 25 0 1 0 199055066 118759424 19865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559731 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19865 108 232 0 28759 0 Current children cumulated CPU time (s) 1786.64 Current children cumulated vsize (Kb) 115976 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1787.64 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26026 0 0 0 178307 457 0 0 25 0 1 0 199055066 118759424 19865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19865 108 232 0 28759 0 Current children cumulated CPU time (s) 1787.64 Current children cumulated vsize (Kb) 115976 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1788.66 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26028 0 0 0 178408 458 0 0 25 0 1 0 199055066 118759424 19867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19867 108 232 0 28759 0 Current children cumulated CPU time (s) 1788.66 Current children cumulated vsize (Kb) 115976 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1789.66 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26028 0 0 0 178508 458 0 0 25 0 1 0 199055066 118759424 19867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19867 108 232 0 28759 0 Current children cumulated CPU time (s) 1789.66 Current children cumulated vsize (Kb) 115976 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1790.67 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26029 0 0 0 178609 458 0 0 25 0 1 0 199055066 118759424 19868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19868 108 232 0 28759 0 Current children cumulated CPU time (s) 1790.67 Current children cumulated vsize (Kb) 115976 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1791.67 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26030 0 0 0 178709 458 0 0 25 0 1 0 199055066 118759424 19869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558835 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19869 108 232 0 28759 0 Current children cumulated CPU time (s) 1791.67 Current children cumulated vsize (Kb) 115976 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1792.67 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26031 0 0 0 178809 458 0 0 25 0 1 0 199055066 118759424 19870 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19870 108 232 0 28759 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 115976 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1793.68 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26046 0 0 0 178910 458 0 0 25 0 1 0 199055066 118759424 19885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19885 108 232 0 28759 0 Current children cumulated CPU time (s) 1793.68 Current children cumulated vsize (Kb) 115976 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1794.68 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26046 0 0 0 179010 458 0 0 25 0 1 0 199055066 118759424 19885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19885 108 232 0 28759 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (Kb) 115976 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1795.69 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26047 0 0 0 179111 458 0 0 25 0 1 0 199055066 118759424 19886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19886 108 232 0 28759 0 Current children cumulated CPU time (s) 1795.69 Current children cumulated vsize (Kb) 115976 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1796.69 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26048 0 0 0 179211 458 0 0 25 0 1 0 199055066 118759424 19887 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19887 108 232 0 28759 0 Current children cumulated CPU time (s) 1796.69 Current children cumulated vsize (Kb) 115976 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1797.7 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26053 0 0 0 179312 458 0 0 25 0 1 0 199055066 118759424 19892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19892 108 232 0 28759 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (Kb) 115976 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1798.7 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26053 0 0 0 179412 458 0 0 25 0 1 0 199055066 118759424 19892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19892 108 232 0 28759 0 Current children cumulated CPU time (s) 1798.7 Current children cumulated vsize (Kb) 115976 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1799.7 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26055 0 0 0 179512 458 0 0 25 0 1 0 199055066 118759424 19894 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19894 108 232 0 28759 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (Kb) 115976 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1800.71 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26057 0 0 0 179613 458 0 0 25 0 1 0 199055066 118759424 19896 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19896 108 232 0 28759 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 115976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956 [pid=20337] ppid=20335 vsize=115976 CPUtime=1800.71 /proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26057 0 0 0 179613 458 0 0 25 0 1 0 199055066 118759424 19896 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20337/statm: 28994 19896 108 232 0 28759 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 115976 Sending SIGTERM to -20337 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.74 CPU user time (s): 1796.13 CPU system time (s): 4.6033 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (Kb): 115976 The end
Begin job on node25 on Sat Jun 3 11:25:17 UTC 2006 FILE ID= 41360-1149333917 PBS_JOBID= 310042 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-sc50a.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node25/41360-1149333917/instance-41360-1149333917.opb 271161287 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-41360-1149333917 -o ROOT/results/node25/solver-41360-1149333917 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node25/41360-1149333917/instance-41360-1149333917.opb 271161287 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 2dbafacadc353eeed0e4ce2357d3a727 RANDOM SEED= 271161287 /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.236 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.236 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: 1828880 kB Buffers: 13308 kB Cached: 157624 kB SwapCached: 3080 kB Active: 37180 kB Inactive: 142316 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828880 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14716 kB Slab: 33600 kB Committed_AS: 319928 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node25 on Sat Jun 3 11:55:18 UTC 2006