Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | ? (TO) | 1800.57 | 1801.18 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb |
MD5SUM | d484bc8efed557f17788965b19feafe5 |
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 | 32.96 |
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 | 4602 |
Total number of constraints | 30179 |
Number of constraints which are clauses | 29160 |
Number of constraints which are cardinality constraints (but not clauses) | 941 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 29 |
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 | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 103 |
Number of bits of the biggest sum of numbers | 7 |
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/node68/41178-1149241774/instance-41178-1149241774.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/node68/watcher-41178-1149241774 -o ROOT/results/node68/solver-41178-1149241774 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node68/41178-1149241774/instance-41178-1149241774.opb 317103778 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 10507 /proc/meminfo: memFree=1742872/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=1832 CPUtime=0 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 224 0 0 0 0 0 0 0 18 0 1 0 189847008 1875968 208 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 458 210 90 232 0 223 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.95 0.90 2/64 10507 /proc/meminfo: memFree=1731424/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=14964 CPUtime=9.99 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 3382 0 0 0 980 19 0 0 25 0 1 0 189847008 15323136 3019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 3741 3019 105 232 0 3506 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 14964 [startup+20.0077 s] /proc/loadavg: 0.94 0.96 0.91 2/64 10507 /proc/meminfo: memFree=1729760/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=17152 CPUtime=19.99 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 4182 0 0 0 1956 43 0 0 25 0 1 0 189847008 17563648 3434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550067 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 4288 3434 105 232 0 4053 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 17152 [startup+30.0134 s] /proc/loadavg: 0.95 0.96 0.91 2/64 10507 /proc/meminfo: memFree=1727776/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=17860 CPUtime=30 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 4671 0 0 0 2934 66 0 0 25 0 1 0 189847008 18288640 3923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 4465 3923 105 232 0 4230 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 17860 [startup+40.0191 s] /proc/loadavg: 0.95 0.96 0.91 2/64 10507 /proc/meminfo: memFree=1726880/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=18432 CPUtime=40 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 4889 0 0 0 3915 85 0 0 25 0 1 0 189847008 18874368 4141 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 4608 4141 105 232 0 4373 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 18432 [startup+50.0248 s] /proc/loadavg: 0.96 0.96 0.91 2/64 10507 /proc/meminfo: memFree=1725920/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=19068 CPUtime=50.01 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 5136 0 0 0 4896 105 0 0 25 0 1 0 189847008 19525632 4388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 4767 4388 105 232 0 4532 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 19068 [startup+60.0305 s] /proc/loadavg: 0.97 0.96 0.91 2/64 10507 /proc/meminfo: memFree=1725088/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=19608 CPUtime=60 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 5336 0 0 0 5874 126 0 0 25 0 1 0 189847008 20078592 4588 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 4902 4588 105 232 0 4667 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 19608 [startup+70.0363 s] /proc/loadavg: 0.97 0.96 0.91 2/64 10507 /proc/meminfo: memFree=1724256/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=23284 CPUtime=70.01 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 6311 0 0 0 6855 146 0 0 25 0 1 0 189847008 23842816 4794 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 5821 4794 105 232 0 5586 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 23284 [startup+80.042 s] /proc/loadavg: 0.98 0.96 0.91 2/64 10507 /proc/meminfo: memFree=1723616/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=23496 CPUtime=80.01 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 6474 0 0 0 7836 165 0 0 25 0 1 0 189847008 24059904 4957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 5874 4957 105 232 0 5639 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 23496 [startup+90.0477 s] /proc/loadavg: 0.98 0.96 0.91 2/64 10507 /proc/meminfo: memFree=1722912/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=23960 CPUtime=90.02 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 6647 0 0 0 8819 183 0 0 25 0 1 0 189847008 24535040 5130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 5990 5130 105 232 0 5755 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 23960 [startup+100.053 s] /proc/loadavg: 0.98 0.96 0.91 2/64 10507 /proc/meminfo: memFree=1722272/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=24308 CPUtime=100.01 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 6817 0 0 0 9800 201 0 0 25 0 1 0 189847008 24891392 5300 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 6077 5300 105 232 0 5842 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 24308 [startup+110.059 s] /proc/loadavg: 0.98 0.96 0.91 2/64 10507 /proc/meminfo: memFree=1721632/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=24576 CPUtime=110.02 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 6977 0 0 0 10781 221 0 0 25 0 1 0 189847008 25165824 5460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 6144 5460 105 232 0 5909 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 24576 [startup+120.065 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10507 /proc/meminfo: memFree=1720928/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=25088 CPUtime=120.02 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 7153 0 0 0 11763 239 0 0 25 0 1 0 189847008 25690112 5636 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 6272 5636 105 232 0 6037 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 25088 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10507 /proc/meminfo: memFree=1720352/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=25392 CPUtime=130.02 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 7292 0 0 0 12745 257 0 0 25 0 1 0 189847008 26001408 5775 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 6348 5775 105 232 0 6113 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 25392 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10507 /proc/meminfo: memFree=1718624/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=34100 CPUtime=140.02 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 7722 0 0 0 13733 269 0 0 25 0 1 0 189847008 34918400 6205 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 8525 6205 105 232 0 8290 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 34100 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10507 /proc/meminfo: memFree=1717984/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=34536 CPUtime=150.03 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 7889 0 0 0 14720 283 0 0 25 0 1 0 189847008 35364864 6372 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 8634 6372 105 232 0 8399 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 34536 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10507 /proc/meminfo: memFree=1717408/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=34536 CPUtime=160.03 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 8030 0 0 0 15707 296 0 0 25 0 1 0 189847008 35364864 6513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 8634 6513 105 232 0 8399 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 34536 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10507 /proc/meminfo: memFree=1716832/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=35008 CPUtime=170.03 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 8177 0 0 0 16692 311 0 0 25 0 1 0 189847008 35848192 6660 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 8752 6660 105 232 0 8517 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 35008 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10507 /proc/meminfo: memFree=1716064/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=41636 CPUtime=180.03 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 9895 0 0 0 17673 330 0 0 25 0 1 0 189847008 42635264 6841 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 10409 6841 105 232 0 10174 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 41636 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10507 /proc/meminfo: memFree=1715552/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=42044 CPUtime=190.04 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 10023 0 0 0 18658 346 0 0 25 0 1 0 189847008 43053056 6969 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 10511 6969 105 232 0 10276 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 42044 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10507 /proc/meminfo: memFree=1714976/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=42044 CPUtime=200.04 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 10165 0 0 0 19639 365 0 0 25 0 1 0 189847008 43053056 7111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 10511 7111 105 232 0 10276 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 42044 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10507 /proc/meminfo: memFree=1714336/2055920 swapFree=4182316/4192956 ################ # More data... # ################ /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35850 0 0 0 175914 2232 0 0 25 0 1 0 189847008 115642368 23578 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23578 105 232 0 27998 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 112932 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648480/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1782.46 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35873 0 0 0 176013 2233 0 0 25 0 1 0 189847008 115642368 23601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611544 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23601 105 232 0 27998 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 112932 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648480/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1783.47 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35878 0 0 0 176113 2234 0 0 25 0 1 0 189847008 115642368 23606 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23606 105 232 0 27998 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 112932 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648416/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1784.47 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35893 0 0 0 176212 2235 0 0 25 0 1 0 189847008 115642368 23621 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23621 105 232 0 27998 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 112932 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648352/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1785.47 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35902 0 0 0 176311 2236 0 0 25 0 1 0 189847008 115642368 23630 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23630 105 232 0 27998 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 112932 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648352/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1786.48 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35911 0 0 0 176411 2237 0 0 25 0 1 0 189847008 115642368 23639 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23639 105 232 0 27998 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 112932 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648288/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1787.48 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35919 0 0 0 176511 2237 0 0 25 0 1 0 189847008 115642368 23647 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23647 105 232 0 27998 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 112932 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648224/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1788.49 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35939 0 0 0 176610 2239 0 0 25 0 1 0 189847008 115642368 23667 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23667 105 232 0 27998 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 112932 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648224/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1789.49 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35942 0 0 0 176709 2240 0 0 25 0 1 0 189847008 115642368 23670 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23670 105 232 0 27998 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 112932 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648160/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1790.5 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35953 0 0 0 176809 2241 0 0 25 0 1 0 189847008 115642368 23681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23681 105 232 0 27998 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 112932 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648160/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1791.5 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35956 0 0 0 176908 2242 0 0 25 0 1 0 189847008 115642368 23684 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23684 105 232 0 27998 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 112932 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648096/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1792.5 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35968 0 0 0 177007 2243 0 0 25 0 1 0 189847008 115642368 23696 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23696 105 232 0 27998 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 112932 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648096/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1793.51 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35975 0 0 0 177107 2244 0 0 25 0 1 0 189847008 115642368 23703 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23703 105 232 0 27998 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 112932 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 3/64 10702 /proc/meminfo: memFree=1648096/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1794.52 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35980 0 0 0 177207 2245 0 0 25 0 1 0 189847008 115642368 23708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23708 105 232 0 27998 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 112932 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1648032/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1795.52 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35990 0 0 0 177306 2246 0 0 25 0 1 0 189847008 115642368 23718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23718 105 232 0 27998 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 112932 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1647968/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1796.52 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 36004 0 0 0 177405 2247 0 0 25 0 1 0 189847008 115642368 23732 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23732 105 232 0 27998 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 112932 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1647968/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1797.53 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 36009 0 0 0 177505 2248 0 0 25 0 1 0 189847008 115642368 23737 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23737 105 232 0 27998 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 112932 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1647904/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1798.53 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 36014 0 0 0 177605 2248 0 0 25 0 1 0 189847008 115642368 23742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23742 105 232 0 27998 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 112932 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1647904/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1799.54 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 36019 0 0 0 177705 2249 0 0 25 0 1 0 189847008 115642368 23747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23747 105 232 0 27998 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 112932 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1647904/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1800.54 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 36023 0 0 0 177804 2250 0 0 25 0 1 0 189847008 115642368 23751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23751 105 232 0 27998 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 112932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10702 /proc/meminfo: memFree=1647904/2055920 swapFree=4182316/4192956 [pid=10507] ppid=10505 vsize=112932 CPUtime=1800.54 /proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 36023 0 0 0 177804 2250 0 0 25 0 1 0 189847008 115642368 23751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10507/statm: 28233 23751 105 232 0 27998 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 112932 Sending SIGTERM to -10507 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.57 CPU user time (s): 1778.05 CPU system time (s): 22.5236 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (Kb): 112932 The end
Begin job on node68 on Fri Jun 2 09:49:35 UTC 2006 FILE ID= 41178-1149241774 PBS_JOBID= 297471 BENCH NAME= ROOT/tmp/node68/41178-1149241774/instance-41178-1149241774.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node68/41178-1149241774/instance-41178-1149241774.opb 317103778 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-41178-1149241774 -o ROOT/results/node68/solver-41178-1149241774 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node68/41178-1149241774/instance-41178-1149241774.opb 317103778 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= d484bc8efed557f17788965b19feafe5 RANDOM SEED= 317103778 /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.279 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.279 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: 1743272 kB Buffers: 11972 kB Cached: 237268 kB SwapCached: 2292 kB Active: 36800 kB Inactive: 221124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1743272 kB SwapTotal: 4192956 kB SwapFree: 4182316 kB Dirty: 160 kB Writeback: 0 kB Mapped: 15568 kB Slab: 40736 kB Committed_AS: 224176 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node68 on Fri Jun 2 10:19:36 UTC 2006