Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.66 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.18.opb |
MD5SUM | 18a894a2ba4f3cf6bad1b497c8fca8eb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4500 |
Total number of constraints | 72413 |
Number of constraints which are clauses | 72413 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 4500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4500 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4500 |
Number of bits of the biggest sum of numbers | 13 |
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/node55/41851-1149280514/instance-41851-1149280514.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/node55/watcher-41851-1149280514 -o ROOT/results/node55/solver-41851-1149280514 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node55/41851-1149280514/instance-41851-1149280514.opb 415762195 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 366 /proc/meminfo: memFree=1803648/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=1824 CPUtime=0 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 193719020 1867776 186 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 456 187 90 232 0 221 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.95 0.90 2/64 366 /proc/meminfo: memFree=1796688/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=11348 CPUtime=9.99 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 2597 0 0 0 996 3 0 0 25 0 1 0 193719020 11620352 1849 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 2837 1849 105 232 0 2602 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11348 [startup+20.0098 s] /proc/loadavg: 0.94 0.96 0.90 2/64 366 /proc/meminfo: memFree=1796176/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=11480 CPUtime=20 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 2726 0 0 0 1995 5 0 0 25 0 1 0 193719020 11755520 1978 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 2870 1978 105 232 0 2635 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 11480 [startup+30.0158 s] /proc/loadavg: 0.95 0.96 0.90 2/64 366 /proc/meminfo: memFree=1795600/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=11740 CPUtime=29.99 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 2881 0 0 0 2993 6 0 0 25 0 1 0 193719020 12021760 2133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 2935 2133 105 232 0 2700 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 11740 [startup+40.0218 s] /proc/loadavg: 0.95 0.96 0.90 2/64 366 /proc/meminfo: memFree=1795152/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=12000 CPUtime=40 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3007 0 0 0 3991 9 0 0 25 0 1 0 193719020 12288000 2259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 3000 2259 105 232 0 2765 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 12000 [startup+50.0278 s] /proc/loadavg: 0.96 0.96 0.90 2/64 366 /proc/meminfo: memFree=1794640/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=12128 CPUtime=50.01 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3128 0 0 0 4990 11 0 0 25 0 1 0 193719020 12419072 2380 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 3032 2380 105 232 0 2797 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 12128 [startup+60.0338 s] /proc/loadavg: 0.97 0.96 0.90 2/64 366 /proc/meminfo: memFree=1794192/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=12260 CPUtime=60.01 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3252 0 0 0 5988 13 0 0 25 0 1 0 193719020 12554240 2504 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 3065 2504 105 232 0 2830 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 12260 [startup+70.0398 s] /proc/loadavg: 0.97 0.96 0.90 2/64 366 /proc/meminfo: memFree=1793616/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=12524 CPUtime=70.02 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3380 0 0 0 6988 14 0 0 25 0 1 0 193719020 12824576 2632 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 3131 2632 105 232 0 2896 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 12524 [startup+80.0458 s] /proc/loadavg: 0.98 0.96 0.90 2/64 366 /proc/meminfo: memFree=1793232/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=16752 CPUtime=80.02 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3502 0 0 0 7986 16 0 0 25 0 1 0 193719020 17154048 2754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4188 2754 105 232 0 3953 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 16752 [startup+90.0508 s] /proc/loadavg: 0.98 0.96 0.90 2/64 366 /proc/meminfo: memFree=1792720/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=16884 CPUtime=90.02 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3624 0 0 0 8984 18 0 0 25 0 1 0 193719020 17289216 2876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4221 2876 105 232 0 3986 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 16884 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.91 2/64 366 /proc/meminfo: memFree=1792208/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=17144 CPUtime=100.02 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3744 0 0 0 9982 20 0 0 25 0 1 0 193719020 17555456 2996 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4286 2996 105 232 0 4051 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 17144 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.91 2/64 366 /proc/meminfo: memFree=1792144/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=17144 CPUtime=110.02 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3768 0 0 0 10980 22 0 0 25 0 1 0 193719020 17555456 3020 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4286 3020 105 232 0 4051 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 17144 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 366 /proc/meminfo: memFree=1792016/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=17300 CPUtime=120.03 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3788 0 0 0 11978 25 0 0 25 0 1 0 193719020 17715200 3040 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4325 3040 105 232 0 4090 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 17300 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 366 /proc/meminfo: memFree=1792016/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=17300 CPUtime=130.04 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3799 0 0 0 12977 27 0 0 25 0 1 0 193719020 17715200 3051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4325 3051 105 232 0 4090 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 17300 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 366 /proc/meminfo: memFree=1791888/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=17300 CPUtime=140.04 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3819 0 0 0 13976 28 0 0 25 0 1 0 193719020 17715200 3071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4325 3071 105 232 0 4090 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 17300 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/64 366 /proc/meminfo: memFree=1791824/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=17436 CPUtime=150.04 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3833 0 0 0 14974 30 0 0 25 0 1 0 193719020 17854464 3085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4359 3085 105 232 0 4124 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 17436 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 366 /proc/meminfo: memFree=1791760/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=17436 CPUtime=160.05 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3844 0 0 0 15972 33 0 0 25 0 1 0 193719020 17854464 3096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4359 3096 105 232 0 4124 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 17436 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 366 /proc/meminfo: memFree=1791696/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=17436 CPUtime=170.05 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3860 0 0 0 16971 34 0 0 25 0 1 0 193719020 17854464 3112 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4359 3112 105 232 0 4124 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 17436 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 366 /proc/meminfo: memFree=1791632/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=17552 CPUtime=180.05 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3875 0 0 0 17969 36 0 0 25 0 1 0 193719020 17973248 3127 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4388 3127 105 232 0 4153 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 17552 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/64 366 /proc/meminfo: memFree=1791568/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=17552 CPUtime=190.05 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3888 0 0 0 18967 38 0 0 25 0 1 0 193719020 17973248 3140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4388 3140 105 232 0 4153 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 17552 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.91 2/64 366 /proc/meminfo: memFree=1791504/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=17552 CPUtime=200.06 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 3903 0 0 0 19967 39 0 0 25 0 1 0 193719020 17973248 3155 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 4388 3155 105 232 0 4153 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 17552 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 366 /proc/meminfo: memFree=1791504/2055920 swapFree=4181444/4192956 ################ # More data... # ################ /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6926 0 0 0 177827 328 0 0 25 0 1 0 193719020 25657344 5409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5409 105 232 0 6029 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 25056 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1782.55 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6926 0 0 0 177927 328 0 0 25 0 1 0 193719020 25657344 5409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5409 105 232 0 6029 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 25056 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1783.57 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6927 0 0 0 178028 329 0 0 25 0 1 0 193719020 25657344 5410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5410 105 232 0 6029 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 25056 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1784.57 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6927 0 0 0 178128 329 0 0 25 0 1 0 193719020 25657344 5410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5410 105 232 0 6029 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 25056 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1785.57 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6928 0 0 0 178228 329 0 0 25 0 1 0 193719020 25657344 5411 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5411 105 232 0 6029 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 25056 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1786.57 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6928 0 0 0 178328 329 0 0 25 0 1 0 193719020 25657344 5411 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5411 105 232 0 6029 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 25056 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1787.58 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6928 0 0 0 178429 329 0 0 25 0 1 0 193719020 25657344 5411 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5411 105 232 0 6029 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 25056 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1788.59 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6929 0 0 0 178529 330 0 0 25 0 1 0 193719020 25657344 5412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5412 105 232 0 6029 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 25056 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1789.59 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6930 0 0 0 178629 330 0 0 25 0 1 0 193719020 25657344 5413 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5413 105 232 0 6029 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 25056 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1790.6 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6932 0 0 0 178730 330 0 0 25 0 1 0 193719020 25657344 5415 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5415 105 232 0 6029 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 25056 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1791.6 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6932 0 0 0 178830 330 0 0 25 0 1 0 193719020 25657344 5415 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5415 105 232 0 6029 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 25056 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1792.6 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6933 0 0 0 178930 330 0 0 25 0 1 0 193719020 25657344 5416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5416 105 232 0 6029 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 25056 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1793.6 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6933 0 0 0 179030 330 0 0 25 0 1 0 193719020 25657344 5416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5416 105 232 0 6029 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 25056 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1794.62 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6934 0 0 0 179131 331 0 0 25 0 1 0 193719020 25657344 5417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5417 105 232 0 6029 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 25056 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1795.62 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6934 0 0 0 179231 331 0 0 25 0 1 0 193719020 25657344 5417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5417 105 232 0 6029 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 25056 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1796.62 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6935 0 0 0 179331 331 0 0 25 0 1 0 193719020 25657344 5418 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5418 105 232 0 6029 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 25056 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1797.63 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6935 0 0 0 179431 332 0 0 25 0 1 0 193719020 25657344 5418 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5418 105 232 0 6029 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 25056 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1798.64 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6936 0 0 0 179532 332 0 0 25 0 1 0 193719020 25657344 5419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5419 105 232 0 6029 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 25056 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781968/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1799.64 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6936 0 0 0 179632 332 0 0 25 0 1 0 193719020 25657344 5419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5419 105 232 0 6029 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 25056 [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781904/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1800.64 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6937 0 0 0 179732 332 0 0 25 0 1 0 193719020 25657344 5420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5420 105 232 0 6029 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 25056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 561 /proc/meminfo: memFree=1781904/2055920 swapFree=4181444/4192956 [pid=366] ppid=364 vsize=25056 CPUtime=1800.64 /proc/366/stat : 366 (PBS4L) R 364 366 320 0 -1 4194304 6937 0 0 0 179732 332 0 0 25 0 1 0 193719020 25657344 5420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/366/statm: 6264 5420 105 232 0 6029 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 25056 Sending SIGTERM to -366 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.66 CPU user time (s): 1797.33 CPU system time (s): 3.32849 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (Kb): 25056 The end
Begin job on node55 on Fri Jun 2 20:35:14 UTC 2006 FILE ID= 41851-1149280514 PBS_JOBID= 306085 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.18.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node55/41851-1149280514/instance-41851-1149280514.opb 415762195 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-41851-1149280514 -o ROOT/results/node55/solver-41851-1149280514 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node55/41851-1149280514/instance-41851-1149280514.opb 415762195 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 18a894a2ba4f3cf6bad1b497c8fca8eb RANDOM SEED= 415762195 /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.243 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.243 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: 1803920 kB Buffers: 12284 kB Cached: 175528 kB SwapCached: 3336 kB Active: 36492 kB Inactive: 160184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1803920 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14944 kB Slab: 41428 kB Committed_AS: 258168 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node55 on Fri Jun 2 21:05:16 UTC 2006