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-g250.15.opb |
MD5SUM | f368868fda311e5aaeadb84d33b29291 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3750 |
Best CPU time to get the best result obtained on this benchmark | 1800.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3750 |
Optimality of the best value was proved | NO |
Number of variables | 7500 |
Total number of constraints | 237715 |
Number of constraints which are clauses | 237715 |
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 | 15 |
Number of terms in the objective function | 7500 |
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 | 7500 |
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 | 7500 |
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/node42/41817-1149418820/instance-41817-1149418820.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/node42/watcher-41817-1149418820 -o ROOT/results/node42/solver-41817-1149418820 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41817-1149418820/instance-41817-1149418820.opb 488039099 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.78 0.94 0.91 2/64 28836 /proc/meminfo: memFree=1418664/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=2104 CPUtime=0 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 207549125 2154496 207 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 526 208 90 232 0 291 0 [startup+10.0024 s] /proc/loadavg: 0.81 0.94 0.91 2/64 28836 /proc/meminfo: memFree=1402032/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=20660 CPUtime=9.99 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 5800 0 0 0 997 2 0 0 25 0 1 0 207549125 21155840 4283 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 5165 4283 105 232 0 4930 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 20660 [startup+20.0085 s] /proc/loadavg: 0.84 0.94 0.91 2/64 28836 /proc/meminfo: memFree=1401784/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=20792 CPUtime=20 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 5926 0 0 0 1997 3 0 0 25 0 1 0 207549125 21291008 4409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 5198 4409 105 232 0 4963 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 20792 [startup+30.0156 s] /proc/loadavg: 0.86 0.94 0.91 2/64 28836 /proc/meminfo: memFree=1401272/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=21192 CPUtime=30 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6087 0 0 0 2996 4 0 0 25 0 1 0 207549125 21700608 4570 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 5298 4570 105 232 0 5063 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 21192 [startup+40.0218 s] /proc/loadavg: 0.89 0.94 0.91 2/64 28836 /proc/meminfo: memFree=1400760/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=21456 CPUtime=40.01 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6227 0 0 0 3996 5 0 0 25 0 1 0 207549125 21970944 4710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 5364 4710 105 232 0 5129 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 21456 [startup+50.0279 s] /proc/loadavg: 0.90 0.94 0.91 2/70 28907 /proc/meminfo: memFree=1398984/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=21856 CPUtime=49.99 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6365 0 0 0 4993 6 0 0 25 0 1 0 207549125 22380544 4848 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 0 0 0 /proc/28836/statm: 5464 4848 105 232 0 5229 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 21856 [startup+60.035 s] /proc/loadavg: 0.92 0.95 0.91 2/70 28957 /proc/meminfo: memFree=1398528/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=21988 CPUtime=59.97 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6472 0 0 0 5990 7 0 0 25 0 1 0 207549125 22515712 4955 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 5497 4955 105 232 0 5262 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 21988 [startup+70.0421 s] /proc/loadavg: 0.93 0.95 0.91 2/64 29031 /proc/meminfo: memFree=1399152/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=22128 CPUtime=69.96 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6562 0 0 0 6989 7 0 0 25 0 1 0 207549125 22659072 5045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 5532 5045 105 232 0 5297 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 22128 [startup+80.0492 s] /proc/loadavg: 0.94 0.95 0.91 2/64 29031 /proc/meminfo: memFree=1398968/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=22396 CPUtime=79.96 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6646 0 0 0 7988 8 0 0 25 0 1 0 207549125 22933504 5129 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 5599 5129 105 232 0 5364 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 22396 [startup+90.0554 s] /proc/loadavg: 0.95 0.95 0.91 2/64 29031 /proc/meminfo: memFree=1398776/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=22396 CPUtime=89.96 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6707 0 0 0 8988 8 0 0 25 0 1 0 207549125 22933504 5190 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 5599 5190 105 232 0 5364 0 Current children cumulated CPU time (s) 89.96 Current children cumulated vsize (Kb) 22396 [startup+100.06 s] /proc/loadavg: 0.96 0.95 0.91 2/64 29031 /proc/meminfo: memFree=1398584/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=22528 CPUtime=99.97 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6746 0 0 0 9988 9 0 0 25 0 1 0 207549125 23068672 5229 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 5632 5229 105 232 0 5397 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 22528 [startup+110.067 s] /proc/loadavg: 0.96 0.95 0.91 2/64 29031 /proc/meminfo: memFree=1398392/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=22528 CPUtime=109.98 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6796 0 0 0 10988 10 0 0 25 0 1 0 207549125 23068672 5279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 5632 5279 105 232 0 5397 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 22528 [startup+120.073 s] /proc/loadavg: 0.97 0.95 0.91 2/64 29031 /proc/meminfo: memFree=1398136/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=22660 CPUtime=119.98 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6849 0 0 0 11988 10 0 0 25 0 1 0 207549125 23203840 5332 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 5665 5332 105 232 0 5430 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 22660 [startup+130.079 s] /proc/loadavg: 0.97 0.95 0.91 2/64 29031 /proc/meminfo: memFree=1397944/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=22660 CPUtime=129.98 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6896 0 0 0 12988 10 0 0 25 0 1 0 207549125 23203840 5379 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 5665 5379 105 232 0 5430 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 22660 [startup+140.085 s] /proc/loadavg: 0.98 0.95 0.91 2/64 29031 /proc/meminfo: memFree=1397752/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=30976 CPUtime=139.98 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6956 0 0 0 13988 10 0 0 25 0 1 0 207549125 31719424 5439 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 7744 5439 105 232 0 7509 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 30976 [startup+150.091 s] /proc/loadavg: 0.98 0.95 0.91 2/64 29031 /proc/meminfo: memFree=1397496/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=31248 CPUtime=149.99 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 7010 0 0 0 14988 11 0 0 25 0 1 0 207549125 31997952 5493 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 7812 5493 105 232 0 7577 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 31248 [startup+160.096 s] /proc/loadavg: 0.98 0.96 0.91 2/64 29031 /proc/meminfo: memFree=1397048/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=31248 CPUtime=159.99 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 7122 0 0 0 15988 11 0 0 25 0 1 0 207549125 31997952 5605 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 7812 5605 105 232 0 7577 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 31248 [startup+170.102 s] /proc/loadavg: 0.98 0.96 0.91 2/64 29031 /proc/meminfo: memFree=1396728/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=31384 CPUtime=169.99 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 7192 0 0 0 16988 11 0 0 25 0 1 0 207549125 32137216 5675 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 7846 5675 105 232 0 7611 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 31384 [startup+180.108 s] /proc/loadavg: 0.99 0.96 0.91 2/64 29031 /proc/meminfo: memFree=1396536/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=31464 CPUtime=180 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 7252 0 0 0 17988 12 0 0 25 0 1 0 207549125 32219136 5735 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 7866 5735 105 232 0 7631 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 31464 [startup+190.115 s] /proc/loadavg: 0.99 0.96 0.91 2/64 29031 /proc/meminfo: memFree=1396344/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=31464 CPUtime=190 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 7294 0 0 0 18988 12 0 0 25 0 1 0 207549125 32219136 5777 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546536 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 7866 5777 105 232 0 7631 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 31464 [startup+200.121 s] /proc/loadavg: 0.99 0.96 0.91 2/64 29031 /proc/meminfo: memFree=1396152/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=31584 CPUtime=200 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 7339 0 0 0 19987 13 0 0 25 0 1 0 207549125 32342016 5822 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 7896 5822 105 232 0 7661 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 31584 [startup+210.127 s] /proc/loadavg: 0.99 0.96 0.91 2/64 29031 /proc/meminfo: memFree=1395960/2055920 swapFree=4181444/4192956 ################ # More data... # ################ /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10914 0 0 0 178070 85 0 0 25 0 1 0 207549125 43085824 7860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551257 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7860 105 232 0 10284 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 42076 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387832/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1782.55 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10914 0 0 0 178170 85 0 0 25 0 1 0 207549125 43085824 7860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7860 105 232 0 10284 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 42076 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387832/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1783.56 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10914 0 0 0 178271 85 0 0 25 0 1 0 207549125 43085824 7860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7860 105 232 0 10284 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 42076 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1784.56 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10914 0 0 0 178371 85 0 0 25 0 1 0 207549125 43085824 7860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7860 105 232 0 10284 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 42076 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1785.57 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10915 0 0 0 178472 85 0 0 25 0 1 0 207549125 43085824 7861 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7861 105 232 0 10284 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 42076 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1786.57 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10915 0 0 0 178572 85 0 0 25 0 1 0 207549125 43085824 7861 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7861 105 232 0 10284 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 42076 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1787.58 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10915 0 0 0 178672 86 0 0 25 0 1 0 207549125 43085824 7861 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7861 105 232 0 10284 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 42076 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1788.59 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10915 0 0 0 178773 86 0 0 25 0 1 0 207549125 43085824 7861 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7861 105 232 0 10284 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 42076 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1789.59 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10919 0 0 0 178873 86 0 0 25 0 1 0 207549125 43085824 7865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7865 105 232 0 10284 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 42076 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1790.6 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10919 0 0 0 178974 86 0 0 25 0 1 0 207549125 43085824 7865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7865 105 232 0 10284 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 42076 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1791.6 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10919 0 0 0 179074 86 0 0 25 0 1 0 207549125 43085824 7865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7865 105 232 0 10284 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 42076 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1792.6 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10919 0 0 0 179174 86 0 0 25 0 1 0 207549125 43085824 7865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7865 105 232 0 10284 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 42076 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1793.61 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10919 0 0 0 179275 86 0 0 25 0 1 0 207549125 43085824 7865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7865 105 232 0 10284 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 42076 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1794.61 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10920 0 0 0 179375 86 0 0 25 0 1 0 207549125 43085824 7866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7866 105 232 0 10284 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 42076 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1795.62 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10920 0 0 0 179476 86 0 0 25 0 1 0 207549125 43085824 7866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7866 105 232 0 10284 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 42076 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1796.62 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10920 0 0 0 179576 86 0 0 25 0 1 0 207549125 43085824 7866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7866 105 232 0 10284 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 42076 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1797.63 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10920 0 0 0 179677 86 0 0 25 0 1 0 207549125 43085824 7866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7866 105 232 0 10284 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 42076 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1798.63 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10921 0 0 0 179777 86 0 0 25 0 1 0 207549125 43085824 7867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7867 105 232 0 10284 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 42076 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1799.64 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10921 0 0 0 179878 86 0 0 25 0 1 0 207549125 43085824 7867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7867 105 232 0 10284 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 42076 [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1800.64 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10921 0 0 0 179978 86 0 0 25 0 1 0 207549125 43085824 7867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7867 105 232 0 10284 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 42076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29031 /proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956 [pid=28836] ppid=28834 vsize=42076 CPUtime=1800.64 /proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10921 0 0 0 179978 86 0 0 25 0 1 0 207549125 43085824 7867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/28836/statm: 10519 7867 105 232 0 10284 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 42076 Sending SIGTERM to -28836 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): 1799.79 CPU system time (s): 0.871867 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (Kb): 42076 The end
Begin job on node42 on Sun Jun 4 11:00:20 UTC 2006 FILE ID= 41817-1149418820 PBS_JOBID= 315633 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41817-1149418820/instance-41817-1149418820.opb 488039099 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-41817-1149418820 -o ROOT/results/node42/solver-41817-1149418820 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41817-1149418820/instance-41817-1149418820.opb 488039099 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= f368868fda311e5aaeadb84d33b29291 RANDOM SEED= 488039099 /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.216 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.216 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: 1418936 kB Buffers: 26724 kB Cached: 538136 kB SwapCached: 3212 kB Active: 106384 kB Inactive: 467256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1418936 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 304 kB Writeback: 0 kB Mapped: 14932 kB Slab: 49480 kB Committed_AS: 392828 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node42 on Sun Jun 4 11:30:22 UTC 2006