Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.61 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb |
MD5SUM | 7ba66e72f7a10b492134dc7de6859631 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.72 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -19 |
Optimality of the best value was proved | NO |
Number of variables | 1440 |
Total number of constraints | 48 |
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 | 48 |
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 | 524372 |
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/node14/41394-1149342190/instance-41394-1149342190.opb ...... 51.20 c done parsing opb. 51.20 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/node14/watcher-41394-1149342190 -o ROOT/results/node14/solver-41394-1149342190 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41394-1149342190/instance-41394-1149342190.opb 186664986 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1545448/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=1536 CPUtime=0 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 192 0 0 0 0 0 0 0 19 0 1 0 199881769 1572864 176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 384 178 99 232 0 149 0 [startup+10.0024 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1538240/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=11864 CPUtime=10 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 2138 0 0 0 993 7 0 0 25 0 1 0 199881769 12148736 1934 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 2966 1934 105 232 0 2731 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 11864 [startup+20.0083 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1534848/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=12404 CPUtime=19.99 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 2985 0 0 0 1988 11 0 0 25 0 1 0 199881769 12701696 2781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 3101 2781 105 232 0 2866 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 12404 [startup+30.0143 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1532352/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=21896 CPUtime=30 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 3806 0 0 0 2984 16 0 0 25 0 1 0 199881769 22421504 3409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 5474 3409 105 232 0 5239 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 21896 [startup+40.0202 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1529728/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=22324 CPUtime=40 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 4464 0 0 0 3980 20 0 0 25 0 1 0 199881769 22859776 4067 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 5581 4067 105 232 0 5346 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 22324 [startup+50.0262 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1527744/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=22760 CPUtime=50 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 4982 0 0 0 4976 24 0 0 25 0 1 0 199881769 23306240 4585 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 5690 4585 105 232 0 5455 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 22760 [startup+60.0321 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1526336/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=23180 CPUtime=60.01 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 5323 0 0 0 5974 27 0 0 25 0 1 0 199881769 23736320 4926 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 5795 4926 108 232 0 5560 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 23180 [startup+70.0391 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1525184/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=25020 CPUtime=70.01 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 5969 0 0 0 6971 30 0 0 25 0 1 0 199881769 25620480 5187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 6255 5187 108 232 0 6020 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 25020 [startup+80.045 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1524416/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=25292 CPUtime=80.01 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 6190 0 0 0 7967 34 0 0 25 0 1 0 199881769 25899008 5408 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 6323 5408 108 232 0 6088 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 25292 [startup+90.051 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1523968/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=25664 CPUtime=90.02 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 6294 0 0 0 8963 39 0 0 25 0 1 0 199881769 26279936 5512 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 6416 5512 108 232 0 6181 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 25664 [startup+100.057 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1523520/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=25964 CPUtime=100.02 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 6409 0 0 0 9959 43 0 0 25 0 1 0 199881769 26587136 5627 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 6491 5627 108 232 0 6256 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 25964 [startup+110.063 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1523200/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=26336 CPUtime=110.03 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 6495 0 0 0 10958 45 0 0 25 0 1 0 199881769 26968064 5713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 6584 5713 108 232 0 6349 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 26336 [startup+120.069 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1522496/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=26520 CPUtime=120.02 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 6658 0 0 0 11954 48 0 0 25 0 1 0 199881769 27156480 5876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 6630 5876 108 232 0 6395 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 26520 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1521408/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=26520 CPUtime=130.03 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 6943 0 0 0 12952 51 0 0 25 0 1 0 199881769 27156480 6161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 6630 6161 108 232 0 6395 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 26520 [startup+140.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1520128/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=43272 CPUtime=140.04 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 7247 0 0 0 13950 54 0 0 25 0 1 0 199881769 44310528 6465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 10818 6465 108 232 0 10583 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 43272 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1518848/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=43492 CPUtime=150.04 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 7566 0 0 0 14947 57 0 0 25 0 1 0 199881769 44535808 6784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 10873 6784 108 232 0 10638 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 43492 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1518208/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=43812 CPUtime=160.04 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 7730 0 0 0 15944 60 0 0 25 0 1 0 199881769 44863488 6948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 10953 6948 108 232 0 10718 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 43812 [startup+170.099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1517056/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=43956 CPUtime=170.05 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 8017 0 0 0 16943 62 0 0 25 0 1 0 199881769 45010944 7235 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551507 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 10989 7235 108 232 0 10754 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 43956 [startup+180.106 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1516160/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=43956 CPUtime=180.05 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 8239 0 0 0 17940 65 0 0 25 0 1 0 199881769 45010944 7457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 10989 7457 108 232 0 10754 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 43956 [startup+190.112 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1514816/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=44252 CPUtime=190.05 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 8567 0 0 0 18937 68 0 0 25 0 1 0 199881769 45314048 7785 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 11063 7785 108 232 0 10828 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 44252 [startup+200.116 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1513984/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=44412 CPUtime=200.05 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 8786 0 0 0 19934 71 0 0 25 0 1 0 199881769 45477888 8004 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 11103 8004 108 232 0 10868 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 44412 [startup+210.122 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2567 /proc/meminfo: memFree=1512320/2055920 swapFree=4181448/4192956 ################ # More data... # ################ /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28646 0 0 0 177645 504 0 0 25 0 1 0 199881769 117956608 22452 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28798 22452 108 232 0 28563 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 115192 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455616/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115192 CPUtime=1782.5 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28653 0 0 0 177745 505 0 0 25 0 1 0 199881769 117956608 22459 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28798 22459 108 232 0 28563 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 115192 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455616/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115192 CPUtime=1783.51 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28656 0 0 0 177845 506 0 0 25 0 1 0 199881769 117956608 22462 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28798 22462 108 232 0 28563 0 Current children cumulated CPU time (s) 1783.51 Current children cumulated vsize (Kb) 115192 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455616/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115192 CPUtime=1784.5 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28658 0 0 0 177944 506 0 0 25 0 1 0 199881769 117956608 22464 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28798 22464 108 232 0 28563 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 115192 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455616/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115192 CPUtime=1785.51 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28662 0 0 0 178045 506 0 0 25 0 1 0 199881769 117956608 22468 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28798 22468 108 232 0 28563 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 115192 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455616/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1786.52 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28666 0 0 0 178145 507 0 0 25 0 1 0 199881769 118652928 22472 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22472 108 232 0 28733 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 115872 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1787.53 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28669 0 0 0 178245 508 0 0 25 0 1 0 199881769 118652928 22475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22475 108 232 0 28733 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 115872 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1788.52 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28669 0 0 0 178344 508 0 0 25 0 1 0 199881769 118652928 22475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22475 108 232 0 28733 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 115872 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1789.53 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28670 0 0 0 178445 508 0 0 25 0 1 0 199881769 118652928 22476 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22476 108 232 0 28733 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (Kb) 115872 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1790.53 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28671 0 0 0 178545 508 0 0 25 0 1 0 199881769 118652928 22477 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22477 108 232 0 28733 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 115872 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1791.54 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28672 0 0 0 178646 508 0 0 25 0 1 0 199881769 118652928 22478 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22478 108 232 0 28733 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 115872 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1792.54 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28675 0 0 0 178746 508 0 0 25 0 1 0 199881769 118652928 22481 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22481 108 232 0 28733 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 115872 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1793.55 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28677 0 0 0 178847 508 0 0 25 0 1 0 199881769 118652928 22483 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22483 108 232 0 28733 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (Kb) 115872 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1794.55 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28677 0 0 0 178947 508 0 0 25 0 1 0 199881769 118652928 22483 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22483 108 232 0 28733 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 115872 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1795.56 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28678 0 0 0 179048 508 0 0 25 0 1 0 199881769 118652928 22484 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22484 108 232 0 28733 0 Current children cumulated CPU time (s) 1795.56 Current children cumulated vsize (Kb) 115872 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1796.56 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28679 0 0 0 179148 508 0 0 25 0 1 0 199881769 118652928 22485 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22485 108 232 0 28733 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 115872 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1797.56 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28680 0 0 0 179248 508 0 0 25 0 1 0 199881769 118652928 22486 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559735 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22486 108 232 0 28733 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 115872 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1798.57 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28681 0 0 0 179349 508 0 0 25 0 1 0 199881769 118652928 22487 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22487 108 232 0 28733 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 115872 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1799.57 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28682 0 0 0 179449 508 0 0 25 0 1 0 199881769 118652928 22488 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22488 108 232 0 28733 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 115872 [startup+1801.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455488/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1800.59 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28683 0 0 0 179550 509 0 0 25 0 1 0 199881769 118652928 22489 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22489 108 232 0 28733 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 115872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2762 /proc/meminfo: memFree=1455488/2055920 swapFree=4181448/4192956 [pid=2567] ppid=2565 vsize=115872 CPUtime=1800.59 /proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28683 0 0 0 179550 509 0 0 25 0 1 0 199881769 118652928 22489 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2567/statm: 28968 22489 108 232 0 28733 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 115872 Sending SIGTERM to -2567 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.61 CPU user time (s): 1795.5 CPU system time (s): 5.10622 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (Kb): 115872 The end
Begin job on node14 on Sat Jun 3 13:43:10 UTC 2006 FILE ID= 41394-1149342190 PBS_JOBID= 310481 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-sc50b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41394-1149342190/instance-41394-1149342190.opb 186664986 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-41394-1149342190 -o ROOT/results/node14/solver-41394-1149342190 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41394-1149342190/instance-41394-1149342190.opb 186664986 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 7ba66e72f7a10b492134dc7de6859631 RANDOM SEED= 186664986 /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.241 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.241 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: 1545720 kB Buffers: 35204 kB Cached: 405240 kB SwapCached: 3188 kB Active: 53352 kB Inactive: 395816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1545720 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14740 kB Slab: 46984 kB Committed_AS: 343632 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Sat Jun 3 14:13:12 UTC 2006