Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.71 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb |
MD5SUM | d6a4c3ac1d0b6ea0e8794ac4dcbcb530 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 155 |
Best CPU time to get the best result obtained on this benchmark | 1800.43 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 152 |
Optimality of the best value was proved | NO |
Number of variables | 1705 |
Total number of constraints | 98 |
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 | 98 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 1615 |
Biggest coefficient in the objective function | 18850 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525584 |
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 | 525584 |
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/node35/41439-1149352266/instance-41439-1149352266.opb ......
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/node35/watcher-41439-1149352266 -o ROOT/results/node35/solver-41439-1149352266 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node35/41439-1149352266/instance-41439-1149352266.opb 122033026 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.93 3/64 8285 /proc/meminfo: memFree=1423696/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=1692 CPUtime=0 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 206 0 0 0 0 0 0 0 18 0 1 0 200890519 1732608 190 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135098094 0 0 4096 0 0 0 0 17 0 0 0 /proc/8285/statm: 423 190 97 232 0 188 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1413648/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=12164 CPUtime=9.99 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 2811 0 0 0 994 5 0 0 25 0 1 0 200890519 12455936 2601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 3041 2601 105 232 0 2806 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 12164 [startup+20.0095 s] /proc/loadavg: 0.94 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1410328/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=20920 CPUtime=19.99 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 3680 0 0 0 1991 8 0 0 25 0 1 0 200890519 21422080 3470 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 5230 3470 105 232 0 4995 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 20920 [startup+30.0157 s] /proc/loadavg: 0.95 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1407000/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=21664 CPUtime=30 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 4515 0 0 0 2988 12 0 0 25 0 1 0 200890519 22183936 4305 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 5416 4305 105 232 0 5181 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 21664 [startup+40.0219 s] /proc/loadavg: 0.95 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1403800/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=23044 CPUtime=40 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 5511 0 0 0 3985 15 0 0 25 0 1 0 200890519 23597056 5108 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 5761 5108 105 232 0 5526 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 23044 [startup+50.0282 s] /proc/loadavg: 0.96 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1403352/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=23536 CPUtime=50 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 5623 0 0 0 4982 18 0 0 25 0 1 0 200890519 24100864 5220 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 5884 5220 105 232 0 5649 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 23536 [startup+60.0344 s] /proc/loadavg: 0.97 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1400280/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=40272 CPUtime=60 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 6392 0 0 0 5978 22 0 0 25 0 1 0 200890519 41238528 5989 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 10068 5989 105 232 0 9833 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 40272 [startup+70.0406 s] /proc/loadavg: 0.97 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1397016/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=40560 CPUtime=70.01 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 7205 0 0 0 6976 25 0 0 25 0 1 0 200890519 41533440 6802 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 10140 6802 105 232 0 9905 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 40560 [startup+80.0468 s] /proc/loadavg: 0.98 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1396184/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=41392 CPUtime=80.01 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 7408 0 0 0 7974 27 0 0 25 0 1 0 200890519 42385408 7005 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 10348 7005 105 232 0 10113 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 41392 [startup+90.053 s] /proc/loadavg: 0.98 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1394520/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=41584 CPUtime=90.02 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 7839 0 0 0 8973 29 0 0 25 0 1 0 200890519 42582016 7436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 10396 7436 105 232 0 10161 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 41584 [startup+100.059 s] /proc/loadavg: 0.98 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1391384/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=42424 CPUtime=100.02 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 8620 0 0 0 9971 31 0 0 25 0 1 0 200890519 43442176 8217 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 10606 8217 105 232 0 10371 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 42424 [startup+110.065 s] /proc/loadavg: 0.98 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1389912/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=44224 CPUtime=110.03 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 9381 0 0 0 10969 34 0 0 25 0 1 0 200890519 45285376 8593 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 11056 8593 105 232 0 10821 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 44224 [startup+120.072 s] /proc/loadavg: 0.99 0.97 0.93 4/64 8285 /proc/meminfo: memFree=1388376/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=44592 CPUtime=120.03 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 9762 0 0 0 11967 36 0 0 25 0 1 0 200890519 45662208 8974 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 11148 8974 105 232 0 10913 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 44592 [startup+130.078 s] /proc/loadavg: 0.99 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1388056/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=44916 CPUtime=130.03 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 9830 0 0 0 12966 37 0 0 25 0 1 0 200890519 45993984 9042 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 11229 9042 105 232 0 10994 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 44916 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1386648/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=45180 CPUtime=140.03 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 10187 0 0 0 13964 39 0 0 25 0 1 0 200890519 46264320 9399 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 11295 9399 105 232 0 11060 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 45180 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1384728/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=45368 CPUtime=150.04 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 10655 0 0 0 14963 41 0 0 25 0 1 0 200890519 46456832 9867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 11342 9867 105 232 0 11107 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 45368 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1382872/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=45752 CPUtime=160.04 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 11123 0 0 0 15961 43 0 0 25 0 1 0 200890519 46850048 10335 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 11438 10335 105 232 0 11203 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 45752 [startup+170.103 s] /proc/loadavg: 0.99 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1380440/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=79048 CPUtime=170.05 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 11720 0 0 0 16959 46 0 0 25 0 1 0 200890519 80945152 10932 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 19762 10932 105 232 0 19527 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 79048 [startup+180.109 s] /proc/loadavg: 0.99 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1378712/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=79444 CPUtime=180.05 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 12149 0 0 0 17957 48 0 0 25 0 1 0 200890519 81350656 11361 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 19861 11361 105 232 0 19626 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 79444 [startup+190.115 s] /proc/loadavg: 0.99 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1376856/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=79576 CPUtime=190.05 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 12612 0 0 0 18955 50 0 0 25 0 1 0 200890519 81485824 11824 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 19894 11824 105 232 0 19659 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 79576 [startup+200.121 s] /proc/loadavg: 0.99 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1375256/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=79972 CPUtime=200.05 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 13032 0 0 0 19954 51 0 0 25 0 1 0 200890519 81891328 12244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 19993 12244 105 232 0 19758 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 79972 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.93 2/64 8285 /proc/meminfo: memFree=1373528/2055920 swapFree=4180888/4192956 ################ # More data... # ################ /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39827 0 0 0 177863 299 0 0 25 0 1 0 200890519 183869440 34826 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34826 105 232 0 44655 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (Kb) 179560 [startup+1783.11 s] /proc/loadavg: 1.02 1.01 0.95 2/64 8287 /proc/meminfo: memFree=1284504/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1782.62 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39829 0 0 0 177963 299 0 0 25 0 1 0 200890519 183869440 34828 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34828 105 232 0 44655 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (Kb) 179560 [startup+1784.12 s] /proc/loadavg: 1.02 1.01 0.95 2/64 8287 /proc/meminfo: memFree=1284504/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1783.63 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39830 0 0 0 178064 299 0 0 25 0 1 0 200890519 183869440 34829 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34829 105 232 0 44655 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (Kb) 179560 [startup+1785.12 s] /proc/loadavg: 1.02 1.01 0.95 2/64 8287 /proc/meminfo: memFree=1284504/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1784.63 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39831 0 0 0 178164 299 0 0 25 0 1 0 200890519 183869440 34830 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34830 105 232 0 44655 0 Current children cumulated CPU time (s) 1784.63 Current children cumulated vsize (Kb) 179560 [startup+1786.13 s] /proc/loadavg: 1.02 1.01 0.95 2/64 8287 /proc/meminfo: memFree=1284504/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1785.63 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39832 0 0 0 178264 299 0 0 25 0 1 0 200890519 183869440 34831 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34831 105 232 0 44655 0 Current children cumulated CPU time (s) 1785.63 Current children cumulated vsize (Kb) 179560 [startup+1787.13 s] /proc/loadavg: 1.02 1.01 0.95 2/64 8287 /proc/meminfo: memFree=1284504/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1786.64 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39833 0 0 0 178365 299 0 0 25 0 1 0 200890519 183869440 34832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34832 105 232 0 44655 0 Current children cumulated CPU time (s) 1786.64 Current children cumulated vsize (Kb) 179560 [startup+1788.14 s] /proc/loadavg: 1.02 1.01 0.95 2/64 8287 /proc/meminfo: memFree=1284504/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1787.64 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39836 0 0 0 178465 299 0 0 25 0 1 0 200890519 183869440 34835 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34835 105 232 0 44655 0 Current children cumulated CPU time (s) 1787.64 Current children cumulated vsize (Kb) 179560 [startup+1789.14 s] /proc/loadavg: 1.02 1.01 0.95 2/64 8287 /proc/meminfo: memFree=1284504/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1788.64 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39838 0 0 0 178565 299 0 0 25 0 1 0 200890519 183869440 34837 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34837 105 232 0 44655 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 179560 [startup+1790.15 s] /proc/loadavg: 1.02 1.01 0.95 2/64 8287 /proc/meminfo: memFree=1284504/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1789.65 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39839 0 0 0 178666 299 0 0 25 0 1 0 200890519 183869440 34838 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34838 105 232 0 44655 0 Current children cumulated CPU time (s) 1789.65 Current children cumulated vsize (Kb) 179560 [startup+1791.15 s] /proc/loadavg: 1.02 1.01 0.95 2/64 8287 /proc/meminfo: memFree=1284504/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1790.66 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39840 0 0 0 178766 300 0 0 25 0 1 0 200890519 183869440 34839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34839 105 232 0 44655 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (Kb) 179560 [startup+1792.16 s] /proc/loadavg: 1.02 1.01 0.95 2/64 8287 /proc/meminfo: memFree=1284440/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1791.66 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39842 0 0 0 178866 300 0 0 25 0 1 0 200890519 183869440 34841 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34841 105 232 0 44655 0 Current children cumulated CPU time (s) 1791.66 Current children cumulated vsize (Kb) 179560 [startup+1793.16 s] /proc/loadavg: 1.02 1.01 0.95 2/64 8287 /proc/meminfo: memFree=1284440/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1792.66 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39844 0 0 0 178966 300 0 0 25 0 1 0 200890519 183869440 34843 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34843 105 232 0 44655 0 Current children cumulated CPU time (s) 1792.66 Current children cumulated vsize (Kb) 179560 [startup+1794.17 s] /proc/loadavg: 1.02 1.01 0.95 2/64 8287 /proc/meminfo: memFree=1284440/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1793.67 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39845 0 0 0 179066 301 0 0 25 0 1 0 200890519 183869440 34844 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34844 105 232 0 44655 0 Current children cumulated CPU time (s) 1793.67 Current children cumulated vsize (Kb) 179560 [startup+1795.17 s] /proc/loadavg: 1.02 1.01 0.95 2/70 8310 /proc/meminfo: memFree=1283240/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1794.67 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39846 0 0 0 179166 301 0 0 25 0 1 0 200890519 183869440 34845 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551297 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34845 105 232 0 44655 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 179560 [startup+1796.18 s] /proc/loadavg: 1.01 1.01 0.95 2/70 8310 /proc/meminfo: memFree=1283240/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1795.67 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39849 0 0 0 179266 301 0 0 25 0 1 0 200890519 183869440 34848 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34848 105 232 0 44655 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 179560 [startup+1797.18 s] /proc/loadavg: 1.01 1.01 0.95 2/70 8310 /proc/meminfo: memFree=1283240/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1796.67 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39850 0 0 0 179366 301 0 0 25 0 1 0 200890519 183869440 34849 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34849 105 232 0 44655 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 179560 [startup+1798.19 s] /proc/loadavg: 1.01 1.01 0.95 2/70 8342 /proc/meminfo: memFree=1283176/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1797.66 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39851 0 0 0 179465 301 0 0 25 0 1 0 200890519 183869440 34850 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34850 105 232 0 44655 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 179560 [startup+1799.2 s] /proc/loadavg: 1.01 1.01 0.95 2/70 8342 /proc/meminfo: memFree=1283176/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1798.68 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39852 0 0 0 179566 302 0 0 25 0 1 0 200890519 183869440 34851 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34851 105 232 0 44655 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 179560 [startup+1800.2 s] /proc/loadavg: 1.01 1.01 0.95 2/70 8342 /proc/meminfo: memFree=1283176/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1799.68 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39853 0 0 0 179666 302 0 0 25 0 1 0 200890519 183869440 34852 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34852 105 232 0 44655 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 179560 [startup+1801.21 s] /proc/loadavg: 1.01 1.01 0.95 2/70 8350 /proc/meminfo: memFree=1283176/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1800.68 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39854 0 0 0 179766 302 0 0 25 0 1 0 200890519 183869440 34853 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34853 105 232 0 44655 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 179560 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 1.01 1.01 0.95 2/70 8350 /proc/meminfo: memFree=1283176/2055920 swapFree=4180888/4192956 [pid=8285] ppid=8283 vsize=179560 CPUtime=1800.68 /proc/8285/stat : 8285 (PBS4L) R 8283 8285 8239 0 -1 4194304 39854 0 0 0 179766 302 0 0 25 0 1 0 200890519 183869440 34853 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0 /proc/8285/statm: 44890 34853 105 232 0 44655 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 179560 Sending SIGTERM to -8285 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.24 CPU time (s): 1800.71 CPU user time (s): 1797.67 CPU system time (s): 3.04554 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (Kb): 179560 The end
Begin job on node35 on Sat Jun 3 16:31:06 UTC 2006 FILE ID= 41439-1149352266 PBS_JOBID= 311065 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node35/41439-1149352266/instance-41439-1149352266.opb 122033026 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-41439-1149352266 -o ROOT/results/node35/solver-41439-1149352266 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node35/41439-1149352266/instance-41439-1149352266.opb 122033026 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= d6a4c3ac1d0b6ea0e8794ac4dcbcb530 RANDOM SEED= 122033026 /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.210 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.210 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: 1423904 kB Buffers: 31536 kB Cached: 531848 kB SwapCached: 3872 kB Active: 107196 kB Inactive: 464948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1423904 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14936 kB Slab: 45860 kB Committed_AS: 384624 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node35 on Sat Jun 3 17:01:08 UTC 2006