Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.74 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb |
MD5SUM | d0f46c7e79d3309033cc6b73ceacef6c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7772 |
Best CPU time to get the best result obtained on this benchmark | 0.131979 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7772 |
Optimality of the best value was proved | YES |
Number of variables | 60 |
Total number of constraints | 30 |
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 | 30 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 60 |
Number of terms in the objective function | 60 |
Biggest coefficient in the objective function | 974 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 9460 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 6000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 26162 |
Number of bits of the biggest sum of numbers | 15 |
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/node42/41535-1149368499/instance-41535-1149368499.opb ...... 0.00 c done parsing opb. 0.00 o 9460 0.00 o 9458 0.00 o 9383 0.00 o 9381 0.00 o 9377 0.00 o 9375 0.00 o 9316 0.00 o 9314 0.00 o 9310 0.00 o 9308 0.00 o 8530 0.00 o 8528 0.00 o 8453 0.00 o 8451 0.00 o 8447 0.00 o 8445 0.00 o 8386 0.00 o 8384 0.00 o 8380 0.00 o 8378 0.00 o 8377 0.00 o 8375 0.00 o 8374 0.00 o 8372 0.00 o 8371 0.00 o 8369 0.00 o 8260 0.00 o 8258 0.00 o 8183 0.00 o 8181 0.00 o 8177 0.01 o 8175 0.01 o 8116 0.01 o 8114 0.01 o 8110 0.01 o 8108 0.01 o 8107 0.01 o 8105 0.01 o 8104 0.01 o 8102 0.01 o 8101 0.01 o 8099 0.01 o 8083 0.01 o 8081 0.01 o 8077 0.01 o 8075 0.01 o 8074 0.01 o 8072 0.01 o 8071 0.01 o 8069 0.01 o 8068 0.01 o 8066 0.01 o 8064 0.01 o 8062 0.01 o 8061 0.01 o 8059 0.01 o 8058 0.01 o 8056 0.01 o 8055 0.01 o 8053 0.01 o 8006 0.01 o 8004 0.01 o 8000 0.01 o 7998 0.01 o 7997 0.01 o 7995 0.01 o 7994 0.01 o 7992 0.01 o 7991 0.01 o 7989 0.01 o 7973 0.01 o 7971 0.01 o 7967 0.01 o 7965 0.01 o 7964 0.01 o 7962 0.01 o 7961 0.01 o 7959 0.01 o 7958 0.01 o 7956 0.01 o 7954 0.01 o 7952 0.01 o 7951 0.01 o 7949 0.01 o 7948 0.01 o 7946 0.01 o 7945 0.01 o 7943 0.01 o 7941 0.01 o 7940 0.01 o 7938 0.01 o 7937 0.02 o 7935 0.02 o 7933 0.02 o 7931 0.02 o 7930 0.02 o 7928 0.02 o 7927 0.02 o 7925 0.02 o 7924 0.02 o 7922 0.02 o 7917 0.02 o 7915 0.02 o 7911 0.02 o 7909 0.02 o 7908 0.02 o 7906 0.02 o 7905 0.02 o 7903 0.02 o 7902 0.02 o 7900 0.02 o 7898 0.02 o 7896 0.02 o 7895 0.02 o 7893 0.02 o 7892 0.02 o 7890 0.02 o 7889 0.02 o 7887 0.02 o 7885 0.02 o 7884 0.02 o 7882 0.02 o 7881 0.02 o 7879 0.02 o 7877 0.02 o 7875 0.02 o 7874 0.02 o 7872 0.02 o 7871 0.02 o 7869 0.02 o 7868 0.02 o 7866 0.02 o 7556 0.02 o 7554 0.02 o 7479 0.02 o 7477 0.02 o 7473 0.02 o 7471 0.02 o 7412 0.02 o 7410 0.02 o 7406 0.02 o 7404 0.02 o 7403 0.02 o 7401 0.02 o 7400 0.02 o 7398 0.02 o 7397 0.02 o 7395 0.02 o 7286 0.02 o 7284 0.02 o 7209 0.03 o 7207 0.03 o 7203 0.03 o 7201 0.03 o 7142 0.03 o 7140 0.03 o 7136 0.03 o 7134 0.03 o 7133 0.03 o 7131 0.03 o 7130 0.03 o 7128 0.03 o 7127 0.03 o 7125 0.03 o 7109 0.03 o 7107 0.03 o 7103 0.03 o 7101 0.03 o 7100 0.03 o 7098 0.03 o 7097 0.03 o 7095 0.03 o 7094 0.03 o 7092 0.03 o 7090 0.03 o 7088 0.03 o 7087 0.03 o 7085 0.03 o 7084 0.03 o 7082 0.03 o 7081 0.03 o 7079 0.03 o 7032 0.03 o 7030 0.03 o 7026 0.03 o 7024 0.03 o 7023 0.03 o 7021 0.03 o 7020 0.03 o 7018 0.03 o 7017 0.03 o 7015 0.03 o 6999 0.03 o 6997 0.03 o 6993 0.03 o 6991 0.03 o 6990 0.03 o 6988 0.03 o 6987 0.03 o 6985 0.03 o 6984 0.03 o 6982 0.03 o 6980 0.03 o 6978 0.03 o 6977 0.03 o 6940 0.03 o 3726 0.03 o 2796 0.03 o 2767 0.04 o 2262 3.66 o 2250 375.41 o 2247 392.73 o 2246 506.43 o 2220 613.94 o 2212 711.77 o 2205 739.27 o 2194 806.81 o 2179 914.83 o 2156 1389.43 o 2152 1482.01 o 2144 1581.79 o 2093 1693.95 o 2080 1742.66 o 2040 1756.59 o 2025 1762.72 o 1958 1779.34 o 1956 1779.34 o 1922 1783.04 o 1909
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/node42/watcher-41535-1149368499 -o ROOT/results/node42/solver-41535-1149368499 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41535-1149368499/instance-41535-1149368499.opb 591074591 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.97 3/64 21006 /proc/meminfo: memFree=1602560/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=1400 CPUtime=0 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 202516966 1433600 130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134867881 0 0 4096 0 0 0 0 17 0 0 0 /proc/21006/statm: 350 130 99 232 0 115 0 [startup+10.0022 s] /proc/loadavg: 0.87 0.94 0.97 2/64 21006 /proc/meminfo: memFree=1599760/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=4424 CPUtime=9.99 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 978 0 0 0 998 1 0 0 25 0 1 0 202516966 4530176 909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0 /proc/21006/statm: 1106 909 107 232 0 871 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4424 [startup+20.0094 s] /proc/loadavg: 0.89 0.94 0.97 2/64 21006 /proc/meminfo: memFree=1598176/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=7464 CPUtime=19.99 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 1489 0 0 0 1996 3 0 0 25 0 1 0 202516966 7643136 1323 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 1866 1323 107 232 0 1631 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 7464 [startup+30.0163 s] /proc/loadavg: 0.90 0.94 0.97 2/64 21006 /proc/meminfo: memFree=1597024/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=7656 CPUtime=30 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 1773 0 0 0 2995 5 0 0 25 0 1 0 202516966 7839744 1607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 1914 1607 107 232 0 1679 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 7656 [startup+40.0224 s] /proc/loadavg: 0.92 0.94 0.97 2/64 21006 /proc/meminfo: memFree=1596576/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=7848 CPUtime=40.01 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 1898 0 0 0 3995 6 0 0 25 0 1 0 202516966 8036352 1732 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 1962 1732 107 232 0 1727 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 7848 [startup+50.0295 s] /proc/loadavg: 0.93 0.94 0.97 2/64 21006 /proc/meminfo: memFree=1595680/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=12904 CPUtime=50.01 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 2329 0 0 0 4993 8 0 0 25 0 1 0 202516966 13213696 1970 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 3226 1970 107 232 0 2991 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 12904 [startup+60.0357 s] /proc/loadavg: 0.94 0.95 0.97 2/64 21006 /proc/meminfo: memFree=1594848/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=13096 CPUtime=60.01 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 2536 0 0 0 5992 9 0 0 25 0 1 0 202516966 13410304 2177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 3274 2177 107 232 0 3039 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 13096 [startup+70.0418 s] /proc/loadavg: 0.95 0.95 0.97 2/64 21006 /proc/meminfo: memFree=1593824/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=13420 CPUtime=70.02 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 2781 0 0 0 6991 11 0 0 25 0 1 0 202516966 13742080 2422 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 3355 2422 107 232 0 3120 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 13420 [startup+80.0479 s] /proc/loadavg: 0.96 0.95 0.97 2/64 21006 /proc/meminfo: memFree=1592800/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=13612 CPUtime=80.01 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 3040 0 0 0 7989 12 0 0 25 0 1 0 202516966 13938688 2681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 3403 2681 107 232 0 3168 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 13612 [startup+90.054 s] /proc/loadavg: 0.96 0.95 0.97 2/64 21006 /proc/meminfo: memFree=1592032/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=13744 CPUtime=90.02 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 3225 0 0 0 8989 13 0 0 25 0 1 0 202516966 14073856 2866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 3436 2866 107 232 0 3201 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 13744 [startup+100.06 s] /proc/loadavg: 0.97 0.95 0.97 2/64 21006 /proc/meminfo: memFree=1591264/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=14008 CPUtime=100.02 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 3424 0 0 0 9988 14 0 0 25 0 1 0 202516966 14344192 3065 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 3502 3065 107 232 0 3267 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 14008 [startup+110.067 s] /proc/loadavg: 0.97 0.95 0.97 2/64 21006 /proc/meminfo: memFree=1590432/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=14404 CPUtime=110.03 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 3623 0 0 0 10988 15 0 0 25 0 1 0 202516966 14749696 3264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 3601 3264 107 232 0 3366 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 14404 [startup+120.073 s] /proc/loadavg: 0.98 0.95 0.97 2/64 21006 /proc/meminfo: memFree=1589664/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=22860 CPUtime=120.03 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 3819 0 0 0 11987 16 0 0 25 0 1 0 202516966 23408640 3460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 5715 3460 107 232 0 5480 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 22860 [startup+130.08 s] /proc/loadavg: 0.98 0.95 0.97 2/64 21006 /proc/meminfo: memFree=1588960/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=22992 CPUtime=130.03 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 3997 0 0 0 12986 17 0 0 25 0 1 0 202516966 23543808 3638 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 5748 3638 107 232 0 5513 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 22992 [startup+140.086 s] /proc/loadavg: 0.98 0.95 0.97 2/64 21006 /proc/meminfo: memFree=1588192/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=23256 CPUtime=140.04 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 4180 0 0 0 13985 19 0 0 25 0 1 0 202516966 23814144 3821 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 5814 3821 107 232 0 5579 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 23256 [startup+150.092 s] /proc/loadavg: 0.98 0.95 0.97 2/64 21006 /proc/meminfo: memFree=1587680/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=24792 CPUtime=150.04 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 4690 0 0 0 14985 19 0 0 25 0 1 0 202516966 25387008 3946 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549166 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 6198 3946 107 232 0 5963 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 24792 [startup+160.098 s] /proc/loadavg: 0.99 0.96 0.97 2/64 21006 /proc/meminfo: memFree=1587168/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=24792 CPUtime=160.05 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 4815 0 0 0 15985 20 0 0 25 0 1 0 202516966 25387008 4071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 6198 4071 107 232 0 5963 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 24792 [startup+170.104 s] /proc/loadavg: 0.99 0.96 0.97 2/64 21006 /proc/meminfo: memFree=1586400/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=25244 CPUtime=170.06 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 5012 0 0 0 16985 21 0 0 25 0 1 0 202516966 25849856 4268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 6311 4268 107 232 0 6076 0 Current children cumulated CPU time (s) 170.06 Current children cumulated vsize (Kb) 25244 [startup+180.11 s] /proc/loadavg: 0.99 0.96 0.97 2/64 21006 /proc/meminfo: memFree=1585824/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=25244 CPUtime=180.06 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 5161 0 0 0 17984 22 0 0 25 0 1 0 202516966 25849856 4417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 6311 4417 107 232 0 6076 0 Current children cumulated CPU time (s) 180.06 Current children cumulated vsize (Kb) 25244 [startup+190.116 s] /proc/loadavg: 0.99 0.96 0.97 2/64 21006 /proc/meminfo: memFree=1585056/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=25508 CPUtime=190.06 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 5346 0 0 0 18983 23 0 0 25 0 1 0 202516966 26120192 4602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 6377 4602 107 232 0 6142 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 25508 [startup+200.122 s] /proc/loadavg: 0.99 0.96 0.97 2/64 21006 /proc/meminfo: memFree=1584480/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=25640 CPUtime=200.06 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 5485 0 0 0 19983 23 0 0 25 0 1 0 202516966 26255360 4741 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 6410 4741 107 232 0 6175 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 25640 [startup+210.129 s] /proc/loadavg: 0.99 0.96 0.97 2/64 21006 /proc/meminfo: memFree=1583968/2055920 swapFree=4181444/4192956 ################ # More data... # ################ /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22683 0 0 0 178062 101 0 0 25 0 1 0 202516966 104103936 17604 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25416 17604 107 232 0 25181 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (Kb) 101664 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532640/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=101664 CPUtime=1782.63 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22695 0 0 0 178162 101 0 0 25 0 1 0 202516966 104103936 17616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25416 17616 107 232 0 25181 0 Current children cumulated CPU time (s) 1782.63 Current children cumulated vsize (Kb) 101664 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532640/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=101664 CPUtime=1783.64 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22700 0 0 0 178263 101 0 0 25 0 1 0 202516966 104103936 17621 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25416 17621 107 232 0 25181 0 Current children cumulated CPU time (s) 1783.64 Current children cumulated vsize (Kb) 101664 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532576/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=101664 CPUtime=1784.64 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22707 0 0 0 178363 101 0 0 25 0 1 0 202516966 104103936 17628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25416 17628 107 232 0 25181 0 Current children cumulated CPU time (s) 1784.64 Current children cumulated vsize (Kb) 101664 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532576/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=101664 CPUtime=1785.65 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22711 0 0 0 178464 101 0 0 25 0 1 0 202516966 104103936 17632 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25416 17632 107 232 0 25181 0 Current children cumulated CPU time (s) 1785.65 Current children cumulated vsize (Kb) 101664 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532512/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=101664 CPUtime=1786.65 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22718 0 0 0 178564 101 0 0 25 0 1 0 202516966 104103936 17639 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25416 17639 107 232 0 25181 0 Current children cumulated CPU time (s) 1786.65 Current children cumulated vsize (Kb) 101664 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532512/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=101664 CPUtime=1787.66 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22725 0 0 0 178665 101 0 0 25 0 1 0 202516966 104103936 17646 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25416 17646 107 232 0 25181 0 Current children cumulated CPU time (s) 1787.66 Current children cumulated vsize (Kb) 101664 [startup+1789.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532448/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=101664 CPUtime=1788.66 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22735 0 0 0 178765 101 0 0 25 0 1 0 202516966 104103936 17656 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25416 17656 107 232 0 25181 0 Current children cumulated CPU time (s) 1788.66 Current children cumulated vsize (Kb) 101664 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532448/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=101664 CPUtime=1789.66 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22745 0 0 0 178865 101 0 0 25 0 1 0 202516966 104103936 17666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25416 17666 107 232 0 25181 0 Current children cumulated CPU time (s) 1789.66 Current children cumulated vsize (Kb) 101664 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532384/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=101664 CPUtime=1790.66 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22753 0 0 0 178965 101 0 0 25 0 1 0 202516966 104103936 17674 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25416 17674 107 232 0 25181 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (Kb) 101664 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532384/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=101664 CPUtime=1791.67 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22760 0 0 0 179066 101 0 0 25 0 1 0 202516966 104103936 17681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25416 17681 107 232 0 25181 0 Current children cumulated CPU time (s) 1791.67 Current children cumulated vsize (Kb) 101664 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532128/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=102056 CPUtime=1792.67 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22822 0 0 0 179166 101 0 0 25 0 1 0 202516966 104505344 17743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25514 17743 107 232 0 25279 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 102056 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532064/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=102056 CPUtime=1793.68 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22829 0 0 0 179267 101 0 0 25 0 1 0 202516966 104505344 17750 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559353 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25514 17750 107 232 0 25279 0 Current children cumulated CPU time (s) 1793.68 Current children cumulated vsize (Kb) 102056 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532064/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=102056 CPUtime=1794.68 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22836 0 0 0 179367 101 0 0 25 0 1 0 202516966 104505344 17757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25514 17757 107 232 0 25279 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (Kb) 102056 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532064/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=102056 CPUtime=1795.69 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22844 0 0 0 179468 101 0 0 25 0 1 0 202516966 104505344 17765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25514 17765 107 232 0 25279 0 Current children cumulated CPU time (s) 1795.69 Current children cumulated vsize (Kb) 102056 [startup+1797.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532000/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=102056 CPUtime=1796.69 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22850 0 0 0 179568 101 0 0 25 0 1 0 202516966 104505344 17771 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25514 17771 107 232 0 25279 0 Current children cumulated CPU time (s) 1796.69 Current children cumulated vsize (Kb) 102056 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1532000/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=102056 CPUtime=1797.7 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22857 0 0 0 179668 102 0 0 25 0 1 0 202516966 104505344 17778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25514 17778 107 232 0 25279 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (Kb) 102056 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1531936/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=102056 CPUtime=1798.71 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22866 0 0 0 179769 102 0 0 25 0 1 0 202516966 104505344 17787 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25514 17787 107 232 0 25279 0 Current children cumulated CPU time (s) 1798.71 Current children cumulated vsize (Kb) 102056 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1531872/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=102056 CPUtime=1799.71 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22879 0 0 0 179869 102 0 0 25 0 1 0 202516966 104505344 17800 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25514 17800 107 232 0 25279 0 Current children cumulated CPU time (s) 1799.71 Current children cumulated vsize (Kb) 102056 [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1531872/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=102056 CPUtime=1800.72 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22887 0 0 0 179970 102 0 0 25 0 1 0 202516966 104505344 17808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25514 17808 107 232 0 25279 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 102056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21006 /proc/meminfo: memFree=1531872/2055920 swapFree=4181444/4192956 [pid=21006] ppid=21004 vsize=102056 CPUtime=1800.72 /proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22887 0 0 0 179970 102 0 0 25 0 1 0 202516966 104505344 17808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21006/statm: 25514 17808 107 232 0 25279 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 102056 Sending SIGTERM to -21006 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.74 CPU user time (s): 1799.71 CPU system time (s): 1.03284 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (Kb): 102056 The end
Begin job on node42 on Sat Jun 3 21:01:39 UTC 2006 FILE ID= 41535-1149368499 PBS_JOBID= 311971 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41535-1149368499/instance-41535-1149368499.opb 591074591 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-41535-1149368499 -o ROOT/results/node42/solver-41535-1149368499 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41535-1149368499/instance-41535-1149368499.opb 591074591 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= d0f46c7e79d3309033cc6b73ceacef6c RANDOM SEED= 591074591 /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.216 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.216 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: 1602968 kB Buffers: 15324 kB Cached: 369948 kB SwapCached: 3212 kB Active: 49624 kB Inactive: 344368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1602968 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 312 kB Writeback: 0 kB Mapped: 14932 kB Slab: 44988 kB Committed_AS: 354576 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 node42 on Sat Jun 3 21:31:40 UTC 2006