Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.7 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a3.opb |
MD5SUM | 5018d2b93ba4422fc03308c57dbd6158 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 1800.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | NO |
Number of variables | 528 |
Total number of constraints | 1816 |
Number of constraints which are clauses | 1816 |
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 | 8 |
Number of terms in the objective function | 528 |
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 | 528 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 528 |
Number of bits of the biggest sum of numbers | 10 |
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/node11/41878-1149284010/instance-41878-1149284010.opb ...... 0.02 c done parsing opb. 0.02 o 264 0.02 o 263 0.02 o 262 0.02 o 261 0.03 o 256 0.03 o 254 0.14 o 253 0.14 o 252 0.15 o 251 0.15 o 250 0.15 o 249 0.15 o 248 0.16 o 247 0.16 o 246 0.16 o 245 0.16 o 244 0.16 o 243 0.16 o 242 0.90 o 241 0.91 o 240 3.37 o 239 3.53 o 238 4.60 o 237 4.61 o 236 4.61 o 235 4.61 o 234 4.61 o 233 4.61 o 232 8.71 o 231 10.08 o 230 30.38 o 229 35.38 o 228 49.15 o 227 159.98 o 226 341.76 o 225 351.66 o 224 1017.74 o 223 1417.05 o 222
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/node11/watcher-41878-1149284010 -o ROOT/results/node11/solver-41878-1149284010 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node11/41878-1149284010/instance-41878-1149284010.opb 100985972 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1710416/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=1400 CPUtime=0 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 157 0 0 0 0 0 0 0 18 0 1 0 194063538 1433600 138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536608 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 350 138 97 232 0 115 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1686432/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=35912 CPUtime=9.99 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 6279 0 0 0 994 5 0 0 25 0 1 0 194063538 36773888 6106 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 8978 6106 108 232 0 8743 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 35912 [startup+20.0085 s] /proc/loadavg: 0.94 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1682080/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=36472 CPUtime=19.99 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 7356 0 0 0 1989 10 0 0 25 0 1 0 194063538 37347328 7183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 9118 7183 108 232 0 8883 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 36472 [startup+30.0147 s] /proc/loadavg: 0.95 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1679264/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=37648 CPUtime=29.99 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 8254 0 0 0 2985 14 0 0 25 0 1 0 194063538 38551552 7888 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 9412 7888 108 232 0 9177 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 37648 [startup+40.0209 s] /proc/loadavg: 0.96 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1671840/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=70680 CPUtime=40 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 10108 0 0 0 3981 19 0 0 25 0 1 0 194063538 72376320 9742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 17670 9742 108 232 0 17435 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 70680 [startup+50.0271 s] /proc/loadavg: 0.96 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1671392/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=70968 CPUtime=50 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 10223 0 0 0 4979 21 0 0 25 0 1 0 194063538 72671232 9857 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 17742 9857 108 232 0 17507 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 70968 [startup+60.0323 s] /proc/loadavg: 0.97 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1670304/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=71096 CPUtime=60.01 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 10490 0 0 0 5978 23 0 0 25 0 1 0 194063538 72802304 10124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 17774 10124 108 232 0 17539 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 71096 [startup+70.0385 s] /proc/loadavg: 0.97 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1664672/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=72896 CPUtime=70.01 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 12270 0 0 0 6974 27 0 0 25 0 1 0 194063538 74645504 11519 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 18224 11519 108 232 0 17989 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 72896 [startup+80.0447 s] /proc/loadavg: 0.98 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1663968/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=73212 CPUtime=80.01 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 12464 0 0 0 7973 28 0 0 25 0 1 0 194063538 74969088 11713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 18303 11713 108 232 0 18068 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 73212 [startup+90.0509 s] /proc/loadavg: 0.98 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1661600/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=73480 CPUtime=90.02 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13052 0 0 0 8972 30 0 0 25 0 1 0 194063538 75243520 12301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 18370 12301 108 232 0 18135 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 73480 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1661216/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=73808 CPUtime=100.02 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13154 0 0 0 9970 32 0 0 25 0 1 0 194063538 75579392 12403 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 18452 12403 108 232 0 18217 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 73808 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1660896/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=73940 CPUtime=110.03 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13232 0 0 0 10969 34 0 0 25 0 1 0 194063538 75714560 12481 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 18485 12481 108 232 0 18250 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 73940 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30858 /proc/meminfo: memFree=1660576/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=74088 CPUtime=120.02 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13308 0 0 0 11967 35 0 0 25 0 1 0 194063538 75866112 12557 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 18522 12557 108 232 0 18287 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 74088 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30860 /proc/meminfo: memFree=1660064/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=74428 CPUtime=130.03 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13406 0 0 0 12966 37 0 0 25 0 1 0 194063538 76214272 12655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 18607 12655 108 232 0 18372 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 74428 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30860 /proc/meminfo: memFree=1659872/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=74428 CPUtime=140.03 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13484 0 0 0 13965 38 0 0 25 0 1 0 194063538 76214272 12733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 18607 12733 108 232 0 18372 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 74428 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30860 /proc/meminfo: memFree=1659552/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=74688 CPUtime=150.04 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13553 0 0 0 14963 41 0 0 25 0 1 0 194063538 76480512 12802 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 18672 12802 108 232 0 18437 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 74688 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30860 /proc/meminfo: memFree=1658336/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=74828 CPUtime=160.04 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13849 0 0 0 15962 42 0 0 25 0 1 0 194063538 76623872 13098 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 18707 13098 108 232 0 18472 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 74828 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30860 /proc/meminfo: memFree=1654176/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=75112 CPUtime=170.05 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 14900 0 0 0 16960 45 0 0 25 0 1 0 194063538 76914688 14149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 18778 14149 108 232 0 18543 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 75112 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30860 /proc/meminfo: memFree=1653920/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=75272 CPUtime=180.04 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 14953 0 0 0 17958 46 0 0 25 0 1 0 194063538 77078528 14202 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 18818 14202 108 232 0 18583 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 75272 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30860 /proc/meminfo: memFree=1653536/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=78344 CPUtime=190.05 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 15798 0 0 0 18956 49 0 0 25 0 1 0 194063538 80224256 14278 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 19586 14278 108 232 0 19351 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 78344 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30860 /proc/meminfo: memFree=1653280/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=78648 CPUtime=200.05 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 15872 0 0 0 19955 50 0 0 25 0 1 0 194063538 80535552 14352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 19662 14352 108 232 0 19427 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 78648 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30860 /proc/meminfo: memFree=1653024/2055920 swapFree=4181380/4192956 ################ # More data... # ################ /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30854 0 0 0 177901 256 0 0 25 0 1 0 194063538 115032064 24724 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28084 24724 108 232 0 27849 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 112336 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1611360/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=112336 CPUtime=1782.58 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30855 0 0 0 178001 257 0 0 25 0 1 0 194063538 115032064 24725 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28084 24725 108 232 0 27849 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 112336 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1611360/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=112336 CPUtime=1783.59 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30861 0 0 0 178102 257 0 0 25 0 1 0 194063538 115032064 24731 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28084 24731 108 232 0 27849 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 112336 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1611360/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=112336 CPUtime=1784.59 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30864 0 0 0 178202 257 0 0 25 0 1 0 194063538 115032064 24734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28084 24734 108 232 0 27849 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 112336 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1611296/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=112336 CPUtime=1785.6 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30875 0 0 0 178303 257 0 0 25 0 1 0 194063538 115032064 24745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28084 24745 108 232 0 27849 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 112336 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1611296/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=112336 CPUtime=1786.6 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30877 0 0 0 178403 257 0 0 25 0 1 0 194063538 115032064 24747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28084 24747 108 232 0 27849 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 112336 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1611296/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=112336 CPUtime=1787.6 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30878 0 0 0 178503 257 0 0 25 0 1 0 194063538 115032064 24748 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28084 24748 108 232 0 27849 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 112336 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1611296/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=112336 CPUtime=1788.61 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30884 0 0 0 178604 257 0 0 25 0 1 0 194063538 115032064 24754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28084 24754 108 232 0 27849 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 112336 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1611232/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=112336 CPUtime=1789.61 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30893 0 0 0 178704 257 0 0 25 0 1 0 194063538 115032064 24763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549492 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28084 24763 108 232 0 27849 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (Kb) 112336 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1611040/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=113312 CPUtime=1790.62 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30938 0 0 0 178805 257 0 0 25 0 1 0 194063538 116031488 24808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550056 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28328 24808 108 232 0 28093 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 113312 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1610528/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=113312 CPUtime=1791.62 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31071 0 0 0 178905 257 0 0 25 0 1 0 194063538 116031488 24941 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28328 24941 108 232 0 28093 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 113312 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1610528/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=113312 CPUtime=1792.63 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31073 0 0 0 179005 258 0 0 25 0 1 0 194063538 116031488 24943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28328 24943 108 232 0 28093 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 113312 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1610528/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=113312 CPUtime=1793.63 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31078 0 0 0 179105 258 0 0 25 0 1 0 194063538 116031488 24948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28328 24948 108 232 0 28093 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 113312 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=113312 CPUtime=1794.64 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31080 0 0 0 179206 258 0 0 25 0 1 0 194063538 116031488 24950 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28328 24950 108 232 0 28093 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 113312 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=113312 CPUtime=1795.64 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31082 0 0 0 179306 258 0 0 25 0 1 0 194063538 116031488 24952 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28328 24952 108 232 0 28093 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 113312 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=113312 CPUtime=1796.64 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31084 0 0 0 179406 258 0 0 25 0 1 0 194063538 116031488 24954 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28328 24954 108 232 0 28093 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 113312 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=113312 CPUtime=1797.65 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31086 0 0 0 179507 258 0 0 25 0 1 0 194063538 116031488 24956 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28328 24956 108 232 0 28093 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 113312 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=113312 CPUtime=1798.65 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31089 0 0 0 179607 258 0 0 25 0 1 0 194063538 116031488 24959 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28328 24959 108 232 0 28093 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 113312 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=113312 CPUtime=1799.66 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31091 0 0 0 179708 258 0 0 25 0 1 0 194063538 116031488 24961 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28328 24961 108 232 0 28093 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 113312 [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=113312 CPUtime=1800.66 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31093 0 0 0 179808 258 0 0 25 0 1 0 194063538 116031488 24963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28328 24963 108 232 0 28093 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 113312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31055 /proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956 [pid=30858] ppid=30856 vsize=113312 CPUtime=1800.66 /proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31093 0 0 0 179808 258 0 0 25 0 1 0 194063538 116031488 24963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30858/statm: 28328 24963 108 232 0 28093 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 113312 Sending SIGTERM to -30858 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.7 CPU user time (s): 1798.09 CPU system time (s): 2.6056 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (Kb): 113312 The end
Begin job on node11 on Fri Jun 2 21:33:30 UTC 2006 FILE ID= 41878-1149284010 PBS_JOBID= 306434 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node11/41878-1149284010/instance-41878-1149284010.opb 100985972 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-41878-1149284010 -o ROOT/results/node11/solver-41878-1149284010 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node11/41878-1149284010/instance-41878-1149284010.opb 100985972 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 5018d2b93ba4422fc03308c57dbd6158 RANDOM SEED= 100985972 /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.222 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 : 5931.00 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.222 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: 1710624 kB Buffers: 22252 kB Cached: 257368 kB SwapCached: 3260 kB Active: 47132 kB Inactive: 241192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1710624 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14740 kB Slab: 42900 kB Committed_AS: 337360 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 node11 on Fri Jun 2 22:03:31 UTC 2006