Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.51 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb |
MD5SUM | 4e682317a6045f4869b1783c80734344 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 813 |
Best CPU time to get the best result obtained on this benchmark | 17.9583 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 813 |
Optimality of the best value was proved | YES |
Number of variables | 2289 |
Total number of constraints | 764 |
Number of constraints which are clauses | 360 |
Number of constraints which are cardinality constraints (but not clauses) | 404 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 195 |
Number of terms in the objective function | 1798 |
Biggest coefficient in the objective function | 349 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 104116 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 349 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 104116 |
Number of bits of the biggest sum of numbers | 17 |
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/node38/41912-1149291155/instance-41912-1149291155.opb ...... 0.10 c done parsing opb. 0.10 o 7465 749.26 o 7045 749.27 o 6134 749.30 o 6133 749.31 o 6047 749.36 o 5949 749.37 o 5930 749.40 o 5831 754.18 o 5233 775.14 o 4520 933.72 o 4321 933.73 o 3610
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/node38/watcher-41912-1149291155 -o ROOT/results/node38/solver-41912-1149291155 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node38/41912-1149291155/instance-41912-1149291155.opb 762315212 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.95 3/64 8495 /proc/meminfo: memFree=1631784/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=1616 CPUtime=0 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 203 0 0 0 0 0 0 0 18 0 1 0 194781821 1654784 187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134629926 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 404 193 92 232 0 169 0 [startup+10.002 s] /proc/loadavg: 0.92 0.95 0.95 2/64 8495 /proc/meminfo: memFree=1630456/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=2904 CPUtime=9.99 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 479 0 0 0 999 0 0 0 25 0 1 0 194781821 2973696 455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 726 455 108 232 0 491 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 2904 [startup+20.0079 s] /proc/loadavg: 0.93 0.96 0.95 2/64 8495 /proc/meminfo: memFree=1630072/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=2904 CPUtime=19.99 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 577 0 0 0 1999 0 0 0 25 0 1 0 194781821 2973696 553 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 726 553 108 232 0 491 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 2904 [startup+30.0149 s] /proc/loadavg: 0.94 0.96 0.95 2/64 8495 /proc/meminfo: memFree=1629752/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=3928 CPUtime=29.99 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 658 0 0 0 2999 0 0 0 25 0 1 0 194781821 4022272 634 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549309 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 982 634 108 232 0 747 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 3928 [startup+40.0218 s] /proc/loadavg: 0.95 0.96 0.95 2/64 8495 /proc/meminfo: memFree=1629368/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=3928 CPUtime=40 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 744 0 0 0 3999 1 0 0 25 0 1 0 194781821 4022272 720 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 982 720 108 232 0 747 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 3928 [startup+50.0287 s] /proc/loadavg: 0.96 0.96 0.95 2/64 8495 /proc/meminfo: memFree=1629048/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=3928 CPUtime=50 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 824 0 0 0 4999 1 0 0 25 0 1 0 194781821 4022272 800 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 982 800 108 232 0 747 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 3928 [startup+60.0347 s] /proc/loadavg: 0.96 0.96 0.95 2/64 8495 /proc/meminfo: memFree=1628728/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=5976 CPUtime=60.01 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 900 0 0 0 6000 1 0 0 25 0 1 0 194781821 6119424 876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 1494 876 108 232 0 1259 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 5976 [startup+70.0416 s] /proc/loadavg: 0.97 0.96 0.95 2/64 8495 /proc/meminfo: memFree=1628472/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=5976 CPUtime=70.01 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 970 0 0 0 7000 1 0 0 25 0 1 0 194781821 6119424 946 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 1494 946 108 232 0 1259 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 5976 [startup+80.0486 s] /proc/loadavg: 0.97 0.96 0.95 2/64 8495 /proc/meminfo: memFree=1628152/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=5976 CPUtime=80.01 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1045 0 0 0 8000 1 0 0 25 0 1 0 194781821 6119424 1021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 1494 1021 108 232 0 1259 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 5976 [startup+90.0545 s] /proc/loadavg: 0.98 0.96 0.95 2/64 8495 /proc/meminfo: memFree=1627896/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=5976 CPUtime=90.01 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1107 0 0 0 9000 1 0 0 25 0 1 0 194781821 6119424 1083 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 1494 1083 108 232 0 1259 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 5976 [startup+100.06 s] /proc/loadavg: 0.98 0.96 0.95 2/64 8495 /proc/meminfo: memFree=1627640/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=5976 CPUtime=100.02 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1162 0 0 0 10001 1 0 0 25 0 1 0 194781821 6119424 1138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 1494 1138 108 232 0 1259 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 5976 [startup+110.067 s] /proc/loadavg: 0.98 0.96 0.95 2/64 8495 /proc/meminfo: memFree=1627448/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=5976 CPUtime=110.02 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1209 0 0 0 11001 1 0 0 25 0 1 0 194781821 6119424 1185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 1494 1185 108 232 0 1259 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 5976 [startup+120.074 s] /proc/loadavg: 0.98 0.97 0.95 2/64 8495 /proc/meminfo: memFree=1627320/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=5976 CPUtime=120.02 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1253 0 0 0 12001 1 0 0 25 0 1 0 194781821 6119424 1229 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 1494 1229 108 232 0 1259 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 5976 [startup+130.08 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8495 /proc/meminfo: memFree=1626872/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=5976 CPUtime=130.02 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1353 0 0 0 13001 1 0 0 25 0 1 0 194781821 6119424 1329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 1494 1329 108 232 0 1259 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 5976 [startup+140.086 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8497 /proc/meminfo: memFree=1626488/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=10296 CPUtime=140.02 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1459 0 0 0 14001 1 0 0 25 0 1 0 194781821 10543104 1435 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 2574 1435 108 232 0 2339 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 10296 [startup+150.093 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8497 /proc/meminfo: memFree=1626104/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=10296 CPUtime=150.03 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1546 0 0 0 15002 1 0 0 25 0 1 0 194781821 10543104 1522 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 2574 1522 108 232 0 2339 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 10296 [startup+160.099 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8497 /proc/meminfo: memFree=1625784/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=10296 CPUtime=160.03 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1622 0 0 0 16002 1 0 0 25 0 1 0 194781821 10543104 1598 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 2574 1598 108 232 0 2339 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 10296 [startup+170.105 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8497 /proc/meminfo: memFree=1625528/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=10296 CPUtime=170.03 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1687 0 0 0 17002 1 0 0 25 0 1 0 194781821 10543104 1663 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 2574 1663 108 232 0 2339 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 10296 [startup+180.111 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8497 /proc/meminfo: memFree=1625272/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=10296 CPUtime=180.03 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1756 0 0 0 18002 1 0 0 25 0 1 0 194781821 10543104 1732 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 2574 1732 108 232 0 2339 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 10296 [startup+190.117 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8497 /proc/meminfo: memFree=1625016/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=10296 CPUtime=190.03 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1818 0 0 0 19002 1 0 0 25 0 1 0 194781821 10543104 1794 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 2574 1794 108 232 0 2339 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 10296 [startup+200.123 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8497 /proc/meminfo: memFree=1624760/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=10296 CPUtime=200.04 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 1874 0 0 0 20003 1 0 0 25 0 1 0 194781821 10543104 1850 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 2574 1850 108 232 0 2339 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 10296 [startup+210.129 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8497 /proc/meminfo: memFree=1624568/2055920 swapFree=4181196/4192956 ################ # More data... # ################ /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55399 0 0 0 178010 127 0 0 25 0 1 0 194781821 290226176 53882 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53882 108 232 0 70621 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (Kb) 283424 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415544/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1782.37 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55400 0 0 0 178110 127 0 0 25 0 1 0 194781821 290226176 53883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53883 108 232 0 70621 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (Kb) 283424 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415544/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1783.38 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55406 0 0 0 178211 127 0 0 25 0 1 0 194781821 290226176 53889 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550022 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53889 108 232 0 70621 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 283424 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415544/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1784.38 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55407 0 0 0 178311 127 0 0 25 0 1 0 194781821 290226176 53890 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53890 108 232 0 70621 0 Current children cumulated CPU time (s) 1784.38 Current children cumulated vsize (Kb) 283424 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415544/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1785.39 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55409 0 0 0 178411 128 0 0 25 0 1 0 194781821 290226176 53892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53892 108 232 0 70621 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 283424 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415544/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1786.4 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55410 0 0 0 178512 128 0 0 25 0 1 0 194781821 290226176 53893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53893 108 232 0 70621 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 283424 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415544/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1787.4 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55412 0 0 0 178612 128 0 0 25 0 1 0 194781821 290226176 53895 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53895 108 232 0 70621 0 Current children cumulated CPU time (s) 1787.4 Current children cumulated vsize (Kb) 283424 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415544/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1788.41 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55413 0 0 0 178713 128 0 0 25 0 1 0 194781821 290226176 53896 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53896 108 232 0 70621 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 283424 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415480/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1789.41 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55419 0 0 0 178813 128 0 0 25 0 1 0 194781821 290226176 53902 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53902 108 232 0 70621 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 283424 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415480/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1790.41 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55420 0 0 0 178913 128 0 0 25 0 1 0 194781821 290226176 53903 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552196 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53903 108 232 0 70621 0 Current children cumulated CPU time (s) 1790.41 Current children cumulated vsize (Kb) 283424 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415480/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1791.41 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55422 0 0 0 179013 128 0 0 25 0 1 0 194781821 290226176 53905 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550001 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53905 108 232 0 70621 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (Kb) 283424 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415480/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1792.42 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55423 0 0 0 179114 128 0 0 25 0 1 0 194781821 290226176 53906 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53906 108 232 0 70621 0 Current children cumulated CPU time (s) 1792.42 Current children cumulated vsize (Kb) 283424 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415480/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1793.42 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55425 0 0 0 179214 128 0 0 25 0 1 0 194781821 290226176 53908 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53908 108 232 0 70621 0 Current children cumulated CPU time (s) 1793.42 Current children cumulated vsize (Kb) 283424 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415416/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1794.43 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55431 0 0 0 179315 128 0 0 25 0 1 0 194781821 290226176 53914 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53914 108 232 0 70621 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (Kb) 283424 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415416/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1795.43 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55432 0 0 0 179415 128 0 0 25 0 1 0 194781821 290226176 53915 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53915 108 232 0 70621 0 Current children cumulated CPU time (s) 1795.43 Current children cumulated vsize (Kb) 283424 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415416/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1796.43 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55434 0 0 0 179515 128 0 0 25 0 1 0 194781821 290226176 53917 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53917 108 232 0 70621 0 Current children cumulated CPU time (s) 1796.43 Current children cumulated vsize (Kb) 283424 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415416/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1797.45 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55435 0 0 0 179616 129 0 0 25 0 1 0 194781821 290226176 53918 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53918 108 232 0 70621 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 283424 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415416/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1798.45 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55437 0 0 0 179716 129 0 0 25 0 1 0 194781821 290226176 53920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53920 108 232 0 70621 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (Kb) 283424 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415416/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1799.45 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55439 0 0 0 179816 129 0 0 25 0 1 0 194781821 290226176 53922 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53922 108 232 0 70621 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (Kb) 283424 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415416/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1800.46 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55441 0 0 0 179917 129 0 0 25 0 1 0 194781821 290226176 53924 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551957 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53924 108 232 0 70621 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (Kb) 283424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.95 2/64 8692 /proc/meminfo: memFree=1415416/2055920 swapFree=4181196/4192956 [pid=8495] ppid=8493 vsize=283424 CPUtime=1800.46 /proc/8495/stat : 8495 (PBS4L) R 8493 8495 8449 0 -1 4194304 55441 0 0 0 179917 129 0 0 25 0 1 0 194781821 290226176 53924 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/8495/statm: 70856 53924 108 232 0 70621 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (Kb) 283424 Sending SIGTERM to -8495 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.24 CPU time (s): 1800.51 CPU user time (s): 1799.18 CPU system time (s): 1.3288 CPU usage (%): 99.9595 Max. virtual memory (cumulated for all children) (Kb): 283424 The end
Begin job on node38 on Fri Jun 2 23:32:35 UTC 2006 FILE ID= 41912-1149291155 PBS_JOBID= 306875 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node38/41912-1149291155/instance-41912-1149291155.opb 762315212 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-41912-1149291155 -o ROOT/results/node38/solver-41912-1149291155 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node38/41912-1149291155/instance-41912-1149291155.opb 762315212 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 4e682317a6045f4869b1783c80734344 RANDOM SEED= 762315212 /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.267 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.267 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: 1632056 kB Buffers: 26804 kB Cached: 327092 kB SwapCached: 3512 kB Active: 48060 kB Inactive: 314608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1632056 kB SwapTotal: 4192956 kB SwapFree: 4181196 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14904 kB Slab: 47184 kB Committed_AS: 283780 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 node38 on Sat Jun 3 00:02:37 UTC 2006