Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.73 | 1800.91 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb |
MD5SUM | 303eaeab4b7ccd67c7fab31d13d20bc2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1523 |
Best CPU time to get the best result obtained on this benchmark | 2.65859 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | YES |
Number of variables | 201 |
Total number of constraints | 133 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
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/node16/41536-1149368573/instance-41536-1149368573.opb ...... 0.00 c done parsing opb. 0.00 o 3010 0.00 o 2493 0.01 o 2424 0.01 o 2416 0.01 o 2405 0.01 o 1946 0.01 o 1939 0.03 o 1935 0.33 o 1929 0.35 o 1918 0.35 o 1909 1.58 o 1906 1.62 o 1896 1.76 o 1889 1.78 o 1884 1.78 o 1883 1.79 o 1864 1.80 o 1863 1.88 o 1856 1.93 o 1847 2.01 o 1846 2.11 o 1836 2.25 o 1831 2.58 o 1828 2.88 o 1820 3.08 o 1818 3.13 o 1751 3.13 o 1741 3.16 o 1739 3.69 o 1729 3.69 o 1723 3.94 o 1715 5.15 o 1707 6.21 o 1706 8.65 o 1703 8.76 o 1682 10.76 o 1680 18.81 o 1673 31.88 o 1659 64.04 o 1651 157.40 o 1643 161.66 o 1639 164.02 o 1632 394.29 o 1623 550.81 o 1615 552.10 o 1603 553.93 o 1595 570.91 o 1575
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/node16/watcher-41536-1149368573 -o ROOT/results/node16/solver-41536-1149368573 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node16/41536-1149368573/instance-41536-1149368573.opb 970326071 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 2746 /proc/meminfo: memFree=1407392/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=1400 CPUtime=0 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 150 0 0 0 0 0 0 0 18 0 1 0 202520141 1433600 133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536989 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 350 133 100 232 0 115 0 [startup+9.99999 s] /proc/loadavg: 0.93 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1398264/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=11356 CPUtime=9.99 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 2550 0 0 0 994 5 0 0 25 0 1 0 202520141 11628544 2382 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 2839 2382 108 232 0 2604 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11356 [startup+20.0044 s] /proc/loadavg: 0.94 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1393224/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=20856 CPUtime=20 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 4003 0 0 0 1991 9 0 0 25 0 1 0 202520141 21356544 3642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 5214 3642 108 232 0 4979 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 20856 [startup+30.0089 s] /proc/loadavg: 0.95 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1389768/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=21288 CPUtime=30 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 4906 0 0 0 2988 12 0 0 25 0 1 0 202520141 21798912 4545 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 5322 4545 108 232 0 5087 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 21288 [startup+40.0133 s] /proc/loadavg: 0.96 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1387272/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=37952 CPUtime=40 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 5533 0 0 0 3986 14 0 0 25 0 1 0 202520141 38862848 5172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 9488 5172 108 232 0 9253 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 37952 [startup+50.0187 s] /proc/loadavg: 0.96 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1385288/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=38092 CPUtime=50.01 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 6053 0 0 0 4985 16 0 0 25 0 1 0 202520141 39006208 5692 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 9523 5692 108 232 0 9288 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 38092 [startup+60.0232 s] /proc/loadavg: 0.97 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1383176/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=38512 CPUtime=60 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 6594 0 0 0 5983 17 0 0 25 0 1 0 202520141 39436288 6233 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 9628 6233 108 232 0 9393 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 38512 [startup+70.0276 s] /proc/loadavg: 0.97 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1381832/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=38672 CPUtime=70.02 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 6921 0 0 0 6982 20 0 0 25 0 1 0 202520141 39600128 6560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 9668 6560 108 232 0 9433 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 38672 [startup+80.0321 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1380616/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=40340 CPUtime=80.01 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 7612 0 0 0 7979 22 0 0 25 0 1 0 202520141 41308160 6866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10085 6866 108 232 0 9850 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 40340 [startup+90.0365 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1379144/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=40776 CPUtime=90.02 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 7994 0 0 0 8978 24 0 0 25 0 1 0 202520141 41754624 7248 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10194 7248 108 232 0 9959 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 40776 [startup+100.041 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1377672/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=40936 CPUtime=100.02 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 8360 0 0 0 9977 25 0 0 25 0 1 0 202520141 41918464 7614 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10234 7614 108 232 0 9999 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 40936 [startup+110.046 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1375752/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=41080 CPUtime=110.03 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 8827 0 0 0 10976 27 0 0 25 0 1 0 202520141 42065920 8081 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10270 8081 108 232 0 10035 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 41080 [startup+120.05 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1375048/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=41240 CPUtime=120.03 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 9003 0 0 0 11975 28 0 0 25 0 1 0 202520141 42229760 8257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10310 8257 108 232 0 10075 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 41240 [startup+130.054 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1373640/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=41384 CPUtime=130.03 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 9353 0 0 0 12974 29 0 0 25 0 1 0 202520141 42377216 8607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10346 8607 108 232 0 10111 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 41384 [startup+140.059 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1371976/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=41528 CPUtime=140.04 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 9774 0 0 0 13973 31 0 0 25 0 1 0 202520141 42524672 9028 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10382 9028 108 232 0 10147 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 41528 [startup+150.063 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1370568/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=41672 CPUtime=150.04 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 10124 0 0 0 14972 32 0 0 25 0 1 0 202520141 42672128 9378 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10418 9378 108 232 0 10183 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 41672 [startup+160.068 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1369544/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=42152 CPUtime=160.05 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 10380 0 0 0 15971 34 0 0 25 0 1 0 202520141 43163648 9634 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10538 9634 108 232 0 10303 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 42152 [startup+170.072 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1368648/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=42588 CPUtime=170.05 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 10605 0 0 0 16969 36 0 0 25 0 1 0 202520141 43610112 9859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10647 9859 108 232 0 10412 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 42588 [startup+180.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1368392/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=42728 CPUtime=180.05 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 10666 0 0 0 17968 37 0 0 25 0 1 0 202520141 43753472 9920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10682 9920 108 232 0 10447 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 42728 [startup+190.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1367624/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=42868 CPUtime=190.06 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 10856 0 0 0 18967 39 0 0 25 0 1 0 202520141 43896832 10110 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10717 10110 108 232 0 10482 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 42868 [startup+200.085 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1366792/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=43172 CPUtime=200.06 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 11062 0 0 0 19966 40 0 0 25 0 1 0 202520141 44208128 10316 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 10793 10316 108 232 0 10558 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 43172 [startup+210.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2746 /proc/meminfo: memFree=1365704/2055920 swapFree=4181468/4192956 ################ # More data... # ################ /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26107 0 0 0 178001 160 0 0 25 0 1 0 202520141 102588416 23055 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25046 23055 108 232 0 24811 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 100184 [startup+1782.8 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100316 CPUtime=1782.62 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26125 0 0 0 178102 160 0 0 25 0 1 0 202520141 102723584 23073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25079 23073 108 232 0 24844 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (Kb) 100316 [startup+1783.81 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100316 CPUtime=1783.62 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26126 0 0 0 178202 160 0 0 25 0 1 0 202520141 102723584 23074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25079 23074 108 232 0 24844 0 Current children cumulated CPU time (s) 1783.62 Current children cumulated vsize (Kb) 100316 [startup+1784.81 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100316 CPUtime=1784.63 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26127 0 0 0 178303 160 0 0 25 0 1 0 202520141 102723584 23075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25079 23075 108 232 0 24844 0 Current children cumulated CPU time (s) 1784.63 Current children cumulated vsize (Kb) 100316 [startup+1785.82 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100316 CPUtime=1785.63 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26127 0 0 0 178403 160 0 0 25 0 1 0 202520141 102723584 23075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25079 23075 108 232 0 24844 0 Current children cumulated CPU time (s) 1785.63 Current children cumulated vsize (Kb) 100316 [startup+1786.82 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100316 CPUtime=1786.64 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26128 0 0 0 178504 160 0 0 25 0 1 0 202520141 102723584 23076 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25079 23076 108 232 0 24844 0 Current children cumulated CPU time (s) 1786.64 Current children cumulated vsize (Kb) 100316 [startup+1787.82 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100316 CPUtime=1787.64 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26129 0 0 0 178604 160 0 0 25 0 1 0 202520141 102723584 23077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25079 23077 108 232 0 24844 0 Current children cumulated CPU time (s) 1787.64 Current children cumulated vsize (Kb) 100316 [startup+1788.83 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100316 CPUtime=1788.65 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26132 0 0 0 178705 160 0 0 25 0 1 0 202520141 102723584 23080 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25079 23080 108 232 0 24844 0 Current children cumulated CPU time (s) 1788.65 Current children cumulated vsize (Kb) 100316 [startup+1789.83 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100316 CPUtime=1789.65 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26134 0 0 0 178805 160 0 0 25 0 1 0 202520141 102723584 23082 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564171 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25079 23082 108 232 0 24844 0 Current children cumulated CPU time (s) 1789.65 Current children cumulated vsize (Kb) 100316 [startup+1790.84 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315336/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100316 CPUtime=1790.66 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26140 0 0 0 178905 161 0 0 25 0 1 0 202520141 102723584 23088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25079 23088 108 232 0 24844 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (Kb) 100316 [startup+1791.84 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315336/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100316 CPUtime=1791.66 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26142 0 0 0 179005 161 0 0 25 0 1 0 202520141 102723584 23090 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25079 23090 108 232 0 24844 0 Current children cumulated CPU time (s) 1791.66 Current children cumulated vsize (Kb) 100316 [startup+1792.85 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315272/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100448 CPUtime=1792.67 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26163 0 0 0 179106 161 0 0 25 0 1 0 202520141 102858752 23111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25112 23111 108 232 0 24877 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 100448 [startup+1793.85 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315272/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100448 CPUtime=1793.67 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26164 0 0 0 179206 161 0 0 25 0 1 0 202520141 102858752 23112 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25112 23112 108 232 0 24877 0 Current children cumulated CPU time (s) 1793.67 Current children cumulated vsize (Kb) 100448 [startup+1794.86 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315272/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100448 CPUtime=1794.68 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26166 0 0 0 179307 161 0 0 25 0 1 0 202520141 102858752 23114 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25112 23114 108 232 0 24877 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (Kb) 100448 [startup+1795.86 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315272/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100448 CPUtime=1795.68 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26167 0 0 0 179407 161 0 0 25 0 1 0 202520141 102858752 23115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25112 23115 108 232 0 24877 0 Current children cumulated CPU time (s) 1795.68 Current children cumulated vsize (Kb) 100448 [startup+1796.87 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315208/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100448 CPUtime=1796.69 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26168 0 0 0 179508 161 0 0 25 0 1 0 202520141 102858752 23116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558821 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25112 23116 108 232 0 24877 0 Current children cumulated CPU time (s) 1796.69 Current children cumulated vsize (Kb) 100448 [startup+1797.87 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315208/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100448 CPUtime=1797.69 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26169 0 0 0 179608 161 0 0 25 0 1 0 202520141 102858752 23117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25112 23117 108 232 0 24877 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (Kb) 100448 [startup+1798.88 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315208/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100448 CPUtime=1798.69 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26169 0 0 0 179708 161 0 0 25 0 1 0 202520141 102858752 23117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25112 23117 108 232 0 24877 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (Kb) 100448 [startup+1799.88 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315208/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100448 CPUtime=1799.7 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26170 0 0 0 179809 161 0 0 25 0 1 0 202520141 102858752 23118 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25112 23118 108 232 0 24877 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (Kb) 100448 [startup+1800.89 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315208/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100448 CPUtime=1800.7 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26171 0 0 0 179909 161 0 0 25 0 1 0 202520141 102858752 23119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25112 23119 108 232 0 24877 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 100448 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.89 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2748 /proc/meminfo: memFree=1315208/2055920 swapFree=4181468/4192956 [pid=2746] ppid=2744 vsize=100448 CPUtime=1800.71 /proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26171 0 0 0 179910 161 0 0 25 0 1 0 202520141 102858752 23119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2746/statm: 25112 23119 108 232 0 24877 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 100448 Sending SIGTERM to -2746 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.91 CPU time (s): 1800.73 CPU user time (s): 1799.1 CPU system time (s): 1.63075 CPU usage (%): 99.9902 Max. virtual memory (cumulated for all children) (Kb): 100448 The end
Begin job on node16 on Sat Jun 3 21:02:53 UTC 2006 FILE ID= 41536-1149368573 PBS_JOBID= 311984 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node16/41536-1149368573/instance-41536-1149368573.opb 970326071 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-41536-1149368573 -o ROOT/results/node16/solver-41536-1149368573 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node16/41536-1149368573/instance-41536-1149368573.opb 970326071 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2 RANDOM SEED= 970326071 /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.231 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.231 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: 1407600 kB Buffers: 24860 kB Cached: 551572 kB SwapCached: 2860 kB Active: 366280 kB Inactive: 218464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1407600 kB SwapTotal: 4192956 kB SwapFree: 4181468 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14732 kB Slab: 49648 kB Committed_AS: 298624 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node16 on Sat Jun 3 21:32:54 UTC 2006