Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | ? (TO) | 1800.54 | 1801.28 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24bt.opb |
MD5SUM | f8964c43535341fcc69e672675167b77 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.78673 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 490 |
Total number of constraints | 1085 |
Number of constraints which are clauses | 738 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 345 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 169 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 193 |
Number of bits of the biggest sum of numbers | 8 |
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/node73/40838-1149204831/instance-40838-1149204831.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/node73/watcher-40838-1149204831 -o ROOT/results/node73/solver-40838-1149204831 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node73/40838-1149204831/instance-40838-1149204831.opb 863750111 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.45 0.12 0.20 2/64 9260 /proc/meminfo: memFree=1600392/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=1400 CPUtime=0 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 168 0 0 0 0 0 0 0 18 0 1 0 186147897 1433600 149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 350 149 100 232 0 115 0 [startup+10.002 s] /proc/loadavg: 0.61 0.16 0.22 2/64 9260 /proc/meminfo: memFree=1581720/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=23296 CPUtime=10 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 4927 0 0 0 993 7 0 0 25 0 1 0 186147897 23855104 4754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 5824 4754 105 232 0 5589 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 23296 [startup+20.008 s] /proc/loadavg: 0.67 0.19 0.22 2/64 9260 /proc/meminfo: memFree=1568352/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=44416 CPUtime=19.99 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 8454 0 0 0 1987 12 0 0 25 0 1 0 186147897 45481984 8088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 11104 8088 105 232 0 10869 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 44416 [startup+30.0139 s] /proc/loadavg: 0.72 0.22 0.23 2/64 9260 /proc/meminfo: memFree=1561184/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=49492 CPUtime=30 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 10645 0 0 0 2984 16 0 0 25 0 1 0 186147897 50679808 9894 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546344 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 12373 9894 105 232 0 12138 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 49492 [startup+40.0199 s] /proc/loadavg: 0.76 0.24 0.24 2/64 9260 /proc/meminfo: memFree=1554272/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=51480 CPUtime=40 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 12358 0 0 0 3981 19 0 0 25 0 1 0 186147897 52715520 11607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559021 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 12870 11607 105 232 0 12635 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 51480 [startup+50.0259 s] /proc/loadavg: 0.80 0.27 0.25 2/64 9260 /proc/meminfo: memFree=1543392/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=87412 CPUtime=50 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 15077 0 0 0 4977 23 0 0 25 0 1 0 186147897 89509888 14326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 21853 14326 105 232 0 21618 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 87412 [startup+60.0318 s] /proc/loadavg: 0.83 0.29 0.26 2/64 9260 /proc/meminfo: memFree=1537056/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=93976 CPUtime=60 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 17424 0 0 0 5972 28 0 0 25 0 1 0 186147897 96231424 15904 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 23494 15904 105 232 0 23259 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 93976 [startup+70.0378 s] /proc/loadavg: 0.85 0.31 0.26 2/64 9262 /proc/meminfo: memFree=1531104/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=96220 CPUtime=70.01 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 18911 0 0 0 6970 31 0 0 25 0 1 0 186147897 98529280 17391 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 24055 17391 105 232 0 23820 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 96220 [startup+80.0438 s] /proc/loadavg: 0.88 0.33 0.27 2/64 9262 /proc/meminfo: memFree=1527328/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=98068 CPUtime=80 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 19855 0 0 0 7967 33 0 0 25 0 1 0 186147897 100421632 18335 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 24517 18335 105 232 0 24282 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 98068 [startup+90.0497 s] /proc/loadavg: 0.89 0.36 0.28 2/64 9262 /proc/meminfo: memFree=1526304/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=98796 CPUtime=90.01 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 20110 0 0 0 8965 36 0 0 25 0 1 0 186147897 101167104 18590 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 24699 18590 105 232 0 24464 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 98796 [startup+100.056 s] /proc/loadavg: 0.91 0.38 0.29 2/64 9262 /proc/meminfo: memFree=1525088/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=99452 CPUtime=100.01 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 20409 0 0 0 9963 38 0 0 25 0 1 0 186147897 101838848 18889 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 24863 18889 105 232 0 24628 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 99452 [startup+110.062 s] /proc/loadavg: 0.92 0.40 0.29 2/64 9262 /proc/meminfo: memFree=1524448/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=99708 CPUtime=110.02 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 20563 0 0 0 10961 41 0 0 25 0 1 0 186147897 102100992 19043 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552187 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 24927 19043 105 232 0 24692 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 99708 [startup+120.068 s] /proc/loadavg: 0.93 0.42 0.30 2/64 9262 /proc/meminfo: memFree=1523296/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=100460 CPUtime=120.02 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 20855 0 0 0 11959 43 0 0 25 0 1 0 186147897 102871040 19335 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 25115 19335 105 232 0 24880 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 100460 [startup+130.074 s] /proc/loadavg: 0.94 0.43 0.31 2/64 9262 /proc/meminfo: memFree=1522336/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=101292 CPUtime=130.02 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 21087 0 0 0 12957 45 0 0 25 0 1 0 186147897 103723008 19567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 25323 19567 105 232 0 25088 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 101292 [startup+140.081 s] /proc/loadavg: 0.95 0.45 0.31 2/64 9262 /proc/meminfo: memFree=1521312/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=101960 CPUtime=140.02 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 21349 0 0 0 13954 48 0 0 25 0 1 0 186147897 104407040 19829 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 25490 19829 105 232 0 25255 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 101960 [startup+150.09 s] /proc/loadavg: 0.96 0.47 0.32 2/64 9262 /proc/meminfo: memFree=1520416/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=108468 CPUtime=150.02 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 23098 0 0 0 14951 51 0 0 25 0 1 0 186147897 111071232 20041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552275 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 27117 20041 105 232 0 26882 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 108468 [startup+160.096 s] /proc/loadavg: 0.96 0.49 0.33 2/64 9262 /proc/meminfo: memFree=1519072/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=109268 CPUtime=160.02 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 23438 0 0 0 15948 54 0 0 25 0 1 0 186147897 111890432 20381 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550768 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 27317 20381 105 232 0 27082 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 109268 [startup+170.103 s] /proc/loadavg: 0.97 0.50 0.33 2/64 9262 /proc/meminfo: memFree=1518432/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=109268 CPUtime=170.03 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 23603 0 0 0 16946 57 0 0 25 0 1 0 186147897 111890432 20546 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551999 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 27317 20546 105 232 0 27082 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 109268 [startup+180.11 s] /proc/loadavg: 0.97 0.52 0.34 2/64 9262 /proc/meminfo: memFree=1517536/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=109704 CPUtime=180.03 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 23817 0 0 0 17944 59 0 0 25 0 1 0 186147897 112336896 20760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 27426 20760 105 232 0 27191 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 109704 [startup+190.117 s] /proc/loadavg: 0.98 0.54 0.35 2/64 9262 /proc/meminfo: memFree=1516448/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=110660 CPUtime=190.04 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 24087 0 0 0 18942 62 0 0 25 0 1 0 186147897 113315840 21030 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 27665 21030 105 232 0 27430 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 110660 [startup+200.123 s] /proc/loadavg: 0.98 0.55 0.35 2/64 9262 /proc/meminfo: memFree=1515936/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=110660 CPUtime=200.04 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 24225 0 0 0 19940 64 0 0 25 0 1 0 186147897 113315840 21168 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 27665 21168 105 232 0 27430 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 110660 [startup+210.13 s] /proc/loadavg: 0.98 0.56 0.36 2/64 9262 /proc/meminfo: memFree=1514912/2055920 swapFree=4182220/4192956 ################ # More data... # ################ /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98849 0 0 0 177834 305 0 0 25 0 1 0 186147897 451796992 80084 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80084 105 232 0 110067 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 441208 [startup+1783.13 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278944/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1782.39 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98850 0 0 0 177934 305 0 0 25 0 1 0 186147897 451796992 80085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80085 105 232 0 110067 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 441208 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278944/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1783.4 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98851 0 0 0 178035 305 0 0 25 0 1 0 186147897 451796992 80086 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80086 105 232 0 110067 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 441208 [startup+1785.14 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278944/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1784.4 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98852 0 0 0 178135 305 0 0 25 0 1 0 186147897 451796992 80087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80087 105 232 0 110067 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 441208 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278944/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1785.41 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98856 0 0 0 178236 305 0 0 25 0 1 0 186147897 451796992 80091 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611560 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80091 105 232 0 110067 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (Kb) 441208 [startup+1787.15 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278944/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1786.41 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98859 0 0 0 178336 305 0 0 25 0 1 0 186147897 451796992 80094 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80094 105 232 0 110067 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 441208 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278880/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1787.42 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98862 0 0 0 178437 305 0 0 25 0 1 0 186147897 451796992 80097 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80097 105 232 0 110067 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 441208 [startup+1789.16 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278880/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1788.42 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98865 0 0 0 178537 305 0 0 25 0 1 0 186147897 451796992 80100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80100 105 232 0 110067 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 441208 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278880/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1789.42 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98868 0 0 0 178637 305 0 0 25 0 1 0 186147897 451796992 80103 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80103 105 232 0 110067 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 441208 [startup+1791.17 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278880/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1790.43 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98870 0 0 0 178737 306 0 0 25 0 1 0 186147897 451796992 80105 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80105 105 232 0 110067 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 441208 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278880/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1791.44 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98874 0 0 0 178838 306 0 0 25 0 1 0 186147897 451796992 80109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550796 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80109 105 232 0 110067 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (Kb) 441208 [startup+1793.18 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278880/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1792.44 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98877 0 0 0 178938 306 0 0 25 0 1 0 186147897 451796992 80112 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80112 105 232 0 110067 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 441208 [startup+1794.19 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278816/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1793.45 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98883 0 0 0 179039 306 0 0 25 0 1 0 186147897 451796992 80118 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80118 105 232 0 110067 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 441208 [startup+1795.19 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278816/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441208 CPUtime=1794.45 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98888 0 0 0 179139 306 0 0 25 0 1 0 186147897 451796992 80123 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110302 80123 105 232 0 110067 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 441208 [startup+1796.2 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278688/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441468 CPUtime=1795.45 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98925 0 0 0 179239 306 0 0 25 0 1 0 186147897 452063232 80160 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110367 80160 105 232 0 110132 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 441468 [startup+1797.2 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278624/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441468 CPUtime=1796.45 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98934 0 0 0 179339 306 0 0 25 0 1 0 186147897 452063232 80169 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110367 80169 105 232 0 110132 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 441468 [startup+1798.21 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278624/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441468 CPUtime=1797.47 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98936 0 0 0 179440 307 0 0 25 0 1 0 186147897 452063232 80171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110367 80171 105 232 0 110132 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (Kb) 441468 [startup+1799.21 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278624/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441468 CPUtime=1798.47 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98940 0 0 0 179540 307 0 0 25 0 1 0 186147897 452063232 80175 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110367 80175 105 232 0 110132 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 441468 [startup+1800.22 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278560/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441468 CPUtime=1799.47 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98944 0 0 0 179640 307 0 0 25 0 1 0 186147897 452063232 80179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110367 80179 105 232 0 110132 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 441468 [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278560/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441468 CPUtime=1800.48 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98949 0 0 0 179741 307 0 0 25 0 1 0 186147897 452063232 80184 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110367 80184 105 232 0 110132 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 441468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.23 s] /proc/loadavg: 0.99 0.97 0.84 2/64 9457 /proc/meminfo: memFree=1278560/2055920 swapFree=4182220/4192956 [pid=9260] ppid=9258 vsize=441468 CPUtime=1800.48 /proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98949 0 0 0 179741 307 0 0 25 0 1 0 186147897 452063232 80184 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/9260/statm: 110367 80184 105 232 0 110132 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 441468 Sending SIGTERM to -9260 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.28 CPU time (s): 1800.54 CPU user time (s): 1797.42 CPU system time (s): 3.12552 CPU usage (%): 99.9589 Max. virtual memory (cumulated for all children) (Kb): 441468 The end
Begin job on node73 on Thu Jun 1 23:33:51 UTC 2006 FILE ID= 40838-1149204831 PBS_JOBID= 293055 BENCH NAME= ROOT/tmp/node73/40838-1149204831/instance-40838-1149204831.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node73/40838-1149204831/instance-40838-1149204831.opb 863750111 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-40838-1149204831 -o ROOT/results/node73/solver-40838-1149204831 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node73/40838-1149204831/instance-40838-1149204831.opb 863750111 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= f8964c43535341fcc69e672675167b77 RANDOM SEED= 863750111 /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.261 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.261 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: 1600600 kB Buffers: 32432 kB Cached: 351640 kB SwapCached: 2508 kB Active: 101656 kB Inactive: 291196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1600600 kB SwapTotal: 4192956 kB SwapFree: 4182220 kB Dirty: 292 kB Writeback: 0 kB Mapped: 15096 kB Slab: 48524 kB Committed_AS: 153640 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node73 on Fri Jun 2 00:03:53 UTC 2006