Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | ? (TO) | 1800.16 | 1801.23 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb |
MD5SUM | fb1b2fb5676286fc8681e7e6d0d2728f |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 424.074 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
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 | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 669 |
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/node87/40953-1149214181/instance-40953-1149214181.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/node87/watcher-40953-1149214181 -o ROOT/results/node87/solver-40953-1149214181 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node87/40953-1149214181/instance-40953-1149214181.opb 44336497 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1735848/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=1400 CPUtime=0 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 155 0 0 0 0 0 0 0 19 0 1 0 187057200 1433600 139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134537056 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 350 139 100 232 0 115 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1723056/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=22044 CPUtime=9.99 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 3683 0 0 0 992 7 0 0 25 0 1 0 187057200 22573056 3320 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 5511 3320 105 232 0 5276 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 22044 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1716144/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=25324 CPUtime=19.99 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 5822 0 0 0 1987 12 0 0 25 0 1 0 187057200 25931776 5074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550054 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 6331 5074 105 232 0 6096 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 25324 [startup+30.0152 s] /proc/loadavg: 0.95 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1710768/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=43180 CPUtime=29.99 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 7175 0 0 0 2983 16 0 0 25 0 1 0 187057200 44216320 6427 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/17847/statm: 10795 6427 105 232 0 10560 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 43180 [startup+40.0214 s] /proc/loadavg: 0.96 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1706096/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=44452 CPUtime=39.99 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 8339 0 0 0 3980 19 0 0 25 0 1 0 187057200 45518848 7591 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 11113 7591 105 232 0 10878 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 44452 [startup+50.0275 s] /proc/loadavg: 0.96 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1703152/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=48340 CPUtime=49.99 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 9874 0 0 0 4976 23 0 0 25 0 1 0 187057200 49500160 8357 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 12085 8357 105 232 0 11850 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 48340 [startup+60.0337 s] /proc/loadavg: 0.97 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1700464/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=49364 CPUtime=60 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 10553 0 0 0 5974 26 0 0 25 0 1 0 187057200 50548736 9036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 12341 9036 105 232 0 12106 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 49364 [startup+70.0399 s] /proc/loadavg: 0.97 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1697072/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=50276 CPUtime=70 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 11385 0 0 0 6972 28 0 0 25 0 1 0 187057200 51482624 9868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17847/statm: 12569 9868 105 232 0 12334 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 50276 [startup+80.047 s] /proc/loadavg: 0.98 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1694320/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=51144 CPUtime=79.99 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 12077 0 0 0 7969 30 0 0 25 0 1 0 187057200 52371456 10560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 12786 10560 105 232 0 12551 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 51144 [startup+90.0532 s] /proc/loadavg: 0.98 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1691376/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=51808 CPUtime=90 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 12810 0 0 0 8967 33 0 0 25 0 1 0 187057200 53051392 11293 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 12952 11293 105 232 0 12717 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 51808 [startup+100.058 s] /proc/loadavg: 0.98 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1688496/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=52928 CPUtime=100 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 13525 0 0 0 9965 35 0 0 25 0 1 0 187057200 54198272 12008 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 13232 12008 105 232 0 12997 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 52928 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1685744/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=86608 CPUtime=110.01 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 14220 0 0 0 10963 38 0 0 25 0 1 0 187057200 88686592 12703 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 21652 12703 105 232 0 21417 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 86608 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1682800/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=87244 CPUtime=120 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 14947 0 0 0 11960 40 0 0 25 0 1 0 187057200 89337856 13430 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 21811 13430 105 232 0 21576 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 87244 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1681648/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=87800 CPUtime=130 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 15236 0 0 0 12958 42 0 0 25 0 1 0 187057200 89907200 13719 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 21950 13719 105 232 0 21715 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 87800 [startup+140.083 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1679280/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=88064 CPUtime=140.01 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 15821 0 0 0 13957 44 0 0 25 0 1 0 187057200 90177536 14304 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 22016 14304 105 232 0 21781 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 88064 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1676592/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=88896 CPUtime=150.01 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 16492 0 0 0 14955 46 0 0 25 0 1 0 187057200 91029504 14975 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 22224 14975 105 232 0 21989 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 88896 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1674352/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=95304 CPUtime=160.01 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 18594 0 0 0 15952 49 0 0 25 0 1 0 187057200 97591296 15540 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550056 0 0 4096 0 0 0 0 17 1 0 0 /proc/17847/statm: 23826 15540 105 232 0 23591 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 95304 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1671984/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=95496 CPUtime=170.01 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 19173 0 0 0 16951 50 0 0 25 0 1 0 187057200 97787904 16119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552297 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 23874 16119 105 232 0 23639 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 95496 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1669680/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=96396 CPUtime=180.01 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 19779 0 0 0 17949 52 0 0 25 0 1 0 187057200 98709504 16692 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 24099 16692 105 232 0 23864 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 96396 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1669168/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=96668 CPUtime=190.01 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 19900 0 0 0 18947 54 0 0 25 0 1 0 187057200 98988032 16813 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 24167 16813 105 232 0 23932 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 96668 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1668912/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=96668 CPUtime=200.02 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 19980 0 0 0 19947 55 0 0 25 0 1 0 187057200 98988032 16893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 24167 16893 105 232 0 23932 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 96668 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17847 /proc/meminfo: memFree=1668336/2055888 swapFree=4085412/4096564 ################ # More data... # ################ /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 60993 0 0 0 177883 219 0 0 25 0 1 0 187057200 224669696 49828 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 49828 105 232 0 54616 0 Current children cumulated CPU time (s) 1781.02 Current children cumulated vsize (Kb) 219404 [startup+1783.1 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1536560/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1782.03 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 60995 0 0 0 177984 219 0 0 25 0 1 0 187057200 224669696 49830 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 49830 105 232 0 54616 0 Current children cumulated CPU time (s) 1782.03 Current children cumulated vsize (Kb) 219404 [startup+1784.11 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1536560/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1783.03 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 60997 0 0 0 178084 219 0 0 25 0 1 0 187057200 224669696 49832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 49832 105 232 0 54616 0 Current children cumulated CPU time (s) 1783.03 Current children cumulated vsize (Kb) 219404 [startup+1785.11 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1536560/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1784.03 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61026 0 0 0 178184 219 0 0 25 0 1 0 187057200 224669696 49861 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 49861 105 232 0 54616 0 Current children cumulated CPU time (s) 1784.03 Current children cumulated vsize (Kb) 219404 [startup+1786.11 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1536496/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1785.04 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61058 0 0 0 178285 219 0 0 25 0 1 0 187057200 224669696 49893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 49893 105 232 0 54616 0 Current children cumulated CPU time (s) 1785.04 Current children cumulated vsize (Kb) 219404 [startup+1787.12 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1536432/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1786.05 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61070 0 0 0 178385 220 0 0 25 0 1 0 187057200 224669696 49905 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 49905 105 232 0 54616 0 Current children cumulated CPU time (s) 1786.05 Current children cumulated vsize (Kb) 219404 [startup+1788.12 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1536304/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1787.05 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61105 0 0 0 178485 220 0 0 25 0 1 0 187057200 224669696 49940 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 49940 105 232 0 54616 0 Current children cumulated CPU time (s) 1787.05 Current children cumulated vsize (Kb) 219404 [startup+1789.13 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1536240/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1788.06 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61120 0 0 0 178586 220 0 0 25 0 1 0 187057200 224669696 49955 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 49955 105 232 0 54616 0 Current children cumulated CPU time (s) 1788.06 Current children cumulated vsize (Kb) 219404 [startup+1790.13 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1536112/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1789.06 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61148 0 0 0 178686 220 0 0 25 0 1 0 187057200 224669696 49983 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 49983 105 232 0 54616 0 Current children cumulated CPU time (s) 1789.06 Current children cumulated vsize (Kb) 219404 [startup+1791.14 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1536048/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1790.07 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61169 0 0 0 178787 220 0 0 25 0 1 0 187057200 224669696 50004 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550762 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 50004 105 232 0 54616 0 Current children cumulated CPU time (s) 1790.07 Current children cumulated vsize (Kb) 219404 [startup+1792.14 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1535920/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1791.07 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61210 0 0 0 178887 220 0 0 25 0 1 0 187057200 224669696 50045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 50045 105 232 0 54616 0 Current children cumulated CPU time (s) 1791.07 Current children cumulated vsize (Kb) 219404 [startup+1793.15 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1535792/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1792.07 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61237 0 0 0 178987 220 0 0 25 0 1 0 187057200 224669696 50072 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611859 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 50072 105 232 0 54616 0 Current children cumulated CPU time (s) 1792.07 Current children cumulated vsize (Kb) 219404 [startup+1794.15 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1535792/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1793.07 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61238 0 0 0 179087 220 0 0 25 0 1 0 187057200 224669696 50073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 50073 105 232 0 54616 0 Current children cumulated CPU time (s) 1793.07 Current children cumulated vsize (Kb) 219404 [startup+1795.16 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1535792/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1794.08 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61242 0 0 0 179188 220 0 0 25 0 1 0 187057200 224669696 50077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 50077 105 232 0 54616 0 Current children cumulated CPU time (s) 1794.08 Current children cumulated vsize (Kb) 219404 [startup+1796.16 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1535728/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1795.09 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61244 0 0 0 179288 221 0 0 25 0 1 0 187057200 224669696 50079 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 50079 105 232 0 54616 0 Current children cumulated CPU time (s) 1795.09 Current children cumulated vsize (Kb) 219404 [startup+1797.17 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1535728/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1796.09 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61246 0 0 0 179388 221 0 0 25 0 1 0 187057200 224669696 50081 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 50081 105 232 0 54616 0 Current children cumulated CPU time (s) 1796.09 Current children cumulated vsize (Kb) 219404 [startup+1798.17 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1535728/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1797.1 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61258 0 0 0 179489 221 0 0 25 0 1 0 187057200 224669696 50093 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 50093 105 232 0 54616 0 Current children cumulated CPU time (s) 1797.1 Current children cumulated vsize (Kb) 219404 [startup+1799.18 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1535536/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1798.1 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61295 0 0 0 179589 221 0 0 25 0 1 0 187057200 224669696 50130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551969 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 50130 105 232 0 54616 0 Current children cumulated CPU time (s) 1798.1 Current children cumulated vsize (Kb) 219404 [startup+1800.18 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1535408/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1799.11 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61323 0 0 0 179690 221 0 0 25 0 1 0 187057200 224669696 50158 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 50158 105 232 0 54616 0 Current children cumulated CPU time (s) 1799.11 Current children cumulated vsize (Kb) 219404 [startup+1801.19 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1535344/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1800.11 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61342 0 0 0 179790 221 0 0 25 0 1 0 187057200 224669696 50177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 50177 105 232 0 54616 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (Kb) 219404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.98 0.91 2/67 17849 /proc/meminfo: memFree=1535344/2055888 swapFree=4085412/4096564 [pid=17847] ppid=17845 vsize=219404 CPUtime=1800.11 /proc/17847/stat : 17847 (PBS4L) R 17845 17847 17802 0 -1 4194304 61342 0 0 0 179790 221 0 0 25 0 1 0 187057200 224669696 50177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 0 0 0 /proc/17847/statm: 54851 50177 105 232 0 54616 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (Kb) 219404 Sending SIGTERM to -17847 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.23 CPU time (s): 1800.16 CPU user time (s): 1797.91 CPU system time (s): 2.24966 CPU usage (%): 99.9405 Max. virtual memory (cumulated for all children) (Kb): 219404 The end
Begin job on node87 on Fri Jun 2 02:09:41 UTC 2006 FILE ID= 40953-1149214181 PBS_JOBID= 294553 BENCH NAME= ROOT/tmp/node87/40953-1149214181/instance-40953-1149214181.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node87/40953-1149214181/instance-40953-1149214181.opb 44336497 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-40953-1149214181 -o ROOT/results/node87/solver-40953-1149214181 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node87/40953-1149214181/instance-40953-1149214181.opb 44336497 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= fb1b2fb5676286fc8681e7e6d0d2728f RANDOM SEED= 44336497 /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.234 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 : 6006.17 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.234 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1736056 kB Buffers: 26288 kB Cached: 219604 kB SwapCached: 2512 kB Active: 84284 kB Inactive: 170408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1736056 kB SwapTotal: 4096564 kB SwapFree: 4085412 kB Dirty: 196 kB Writeback: 0 kB Mapped: 16792 kB Slab: 51816 kB Committed_AS: 183608 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Fri Jun 2 02:39:42 UTC 2006