Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.72 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-mux.opb |
MD5SUM | 80d8f8438bdd117e32edd926d4898421 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 872 |
Best CPU time to get the best result obtained on this benchmark | 0.031994 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 872 |
Optimality of the best value was proved | YES |
Number of variables | 232 |
Total number of constraints | 527 |
Number of constraints which are clauses | 527 |
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 | 27 |
Number of terms in the objective function | 232 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 9597 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 9597 |
Number of bits of the biggest sum of numbers | 14 |
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/node31/41694-1149401291/instance-41694-1149401291.opb ...... 0.01 c done parsing opb. 0.01 o 8922 0.01 o 8839 0.01 o 8821 0.01 o 6679 0.01 o 6666 0.01 o 6639 0.01 o 4949 0.01 o 4840 0.01 o 4833 0.05 o 4832 0.05 o 1636 0.05 o 1611 0.05 o 1597 0.60 o 1593 0.61 o 1588 0.61 o 1587 0.61 o 1584 0.62 o 1566 0.75 o 1549 0.84 o 1540 0.85 o 1531 0.95 o 1525 0.95 o 1511 0.95 o 1492 0.95 o 1488 0.95 o 1480 0.95 o 1461 0.96 o 1446 0.96 o 1444 0.96 o 1420 0.96 o 1401 0.96 o 1385 0.96 o 1369 0.96 o 1360 0.96 o 1359 0.96 o 1357 0.96 o 1356 0.96 o 1355 0.96 o 1338 0.96 o 1329 0.96 o 1312 1.33 o 1307 1.55 o 1286 2.54 o 1284 8.63 o 1279 11.49 o 1267 14.28 o 1260 15.11 o 1251 16.51 o 1247 16.67 o 1242 20.68 o 1231 20.69 o 1221 21.57 o 1219 46.83 o 1205 49.31 o 1202 51.37 o 1187 55.82 o 1184 87.33 o 1176 101.02 o 1169 105.48 o 1157 109.16 o 1147 147.33 o 1133 166.41 o 1131 207.03 o 1126 253.20 o 1122 334.35 o 1110 338.91 o 1098 364.34 o 1089 427.35 o 1074 610.45 o 1058 616.78 o 1041 901.91 o 1035 983.44 o 1029 1665.74 o 1026 1762.95 o 1017
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/node31/watcher-41694-1149401291 -o ROOT/results/node31/solver-41694-1149401291 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node31/41694-1149401291/instance-41694-1149401291.opb 192935722 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1850424/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=1400 CPUtime=0 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 205792771 1433600 132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 350 132 99 232 0 115 0 [startup+10.0022 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1843192/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=11056 CPUtime=9.99 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 2060 0 0 0 993 6 0 0 25 0 1 0 205792771 11321344 1891 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 2764 1891 108 232 0 2529 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11056 [startup+20.008 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1841464/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=12396 CPUtime=20 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 2691 0 0 0 1989 11 0 0 25 0 1 0 205792771 12693504 2329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 3099 2329 108 232 0 2864 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 12396 [startup+30.0139 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1840824/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=12820 CPUtime=30 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 2889 0 0 0 2985 15 0 0 25 0 1 0 205792771 13127680 2527 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 3205 2527 108 232 0 2970 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 12820 [startup+40.0197 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1840056/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=14688 CPUtime=40 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 3438 0 0 0 3981 19 0 0 25 0 1 0 205792771 15040512 2691 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 3672 2691 108 232 0 3437 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 14688 [startup+50.0255 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1838840/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=15096 CPUtime=50 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 3773 0 0 0 4978 22 0 0 25 0 1 0 205792771 15458304 3026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 3774 3026 108 232 0 3539 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 15096 [startup+60.0313 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1837240/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=15456 CPUtime=60.01 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 4178 0 0 0 5975 26 0 0 25 0 1 0 205792771 15826944 3431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 3864 3431 108 232 0 3629 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 15456 [startup+70.0372 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1836600/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=15884 CPUtime=70.02 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 4325 0 0 0 6973 29 0 0 25 0 1 0 205792771 16265216 3578 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 3971 3578 108 232 0 3736 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 15884 [startup+80.043 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1836088/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=16180 CPUtime=80.01 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 4452 0 0 0 7969 32 0 0 25 0 1 0 205792771 16568320 3705 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 4045 3705 108 232 0 3810 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 16180 [startup+90.0488 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1835640/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=16324 CPUtime=90.02 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 4575 0 0 0 8968 34 0 0 25 0 1 0 205792771 16715776 3828 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 4081 3828 108 232 0 3846 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 16324 [startup+100.055 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1835064/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=16644 CPUtime=100.02 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 4703 0 0 0 9966 36 0 0 25 0 1 0 205792771 17043456 3956 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 4161 3956 108 232 0 3926 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 16644 [startup+110.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1834552/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=20036 CPUtime=110.03 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 5605 0 0 0 10964 39 0 0 25 0 1 0 205792771 20516864 4089 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 5009 4089 108 232 0 4774 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 20036 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1834168/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=20220 CPUtime=120.03 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 5721 0 0 0 11961 42 0 0 25 0 1 0 205792771 20705280 4205 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 5055 4205 108 232 0 4820 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 20220 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1833656/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=20552 CPUtime=130.03 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 5847 0 0 0 12960 43 0 0 25 0 1 0 205792771 21045248 4331 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 5138 4331 108 232 0 4903 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 20552 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1833080/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=20760 CPUtime=140.04 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 5972 0 0 0 13958 46 0 0 25 0 1 0 205792771 21258240 4456 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 5190 4456 108 232 0 4955 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 20760 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1832632/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=21116 CPUtime=150.04 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 6095 0 0 0 14955 49 0 0 25 0 1 0 205792771 21622784 4579 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 5279 4579 108 232 0 5044 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 21116 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1832184/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=21352 CPUtime=160.05 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 6193 0 0 0 15953 52 0 0 25 0 1 0 205792771 21864448 4677 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 5338 4677 108 232 0 5103 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 21352 [startup+170.094 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1831736/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=21600 CPUtime=170.05 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 6303 0 0 0 16950 55 0 0 25 0 1 0 205792771 22118400 4787 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558823 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 5400 4787 108 232 0 5165 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 21600 [startup+180.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1831288/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=21864 CPUtime=180.05 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 6420 0 0 0 17947 58 0 0 25 0 1 0 205792771 22388736 4904 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 5466 4904 108 232 0 5231 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 21864 [startup+190.106 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1830904/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=22144 CPUtime=190.05 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 6517 0 0 0 18945 60 0 0 25 0 1 0 205792771 22675456 5001 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134542458 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 5536 5001 108 232 0 5301 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 22144 [startup+200.112 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1830456/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=22288 CPUtime=200.05 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 6625 0 0 0 19943 62 0 0 25 0 1 0 205792771 22822912 5109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 5572 5109 108 232 0 5337 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 22288 [startup+210.118 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17089 /proc/meminfo: memFree=1830072/2055920 swapFree=4181480/4192956 ################ # More data... # ################ /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30658 0 0 0 177786 375 0 0 25 0 1 0 205792771 95264768 18387 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18387 108 232 0 23023 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 93032 [startup+1783.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776632/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1782.61 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30663 0 0 0 177886 375 0 0 25 0 1 0 205792771 95264768 18392 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18392 108 232 0 23023 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 93032 [startup+1784.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776632/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1783.62 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30669 0 0 0 177986 376 0 0 25 0 1 0 205792771 95264768 18398 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18398 108 232 0 23023 0 Current children cumulated CPU time (s) 1783.62 Current children cumulated vsize (Kb) 93032 [startup+1785.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776632/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1784.63 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30671 0 0 0 178087 376 0 0 25 0 1 0 205792771 95264768 18400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18400 108 232 0 23023 0 Current children cumulated CPU time (s) 1784.63 Current children cumulated vsize (Kb) 93032 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776568/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1785.63 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30676 0 0 0 178187 376 0 0 25 0 1 0 205792771 95264768 18405 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18405 108 232 0 23023 0 Current children cumulated CPU time (s) 1785.63 Current children cumulated vsize (Kb) 93032 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776568/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1786.63 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30681 0 0 0 178287 376 0 0 25 0 1 0 205792771 95264768 18410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18410 108 232 0 23023 0 Current children cumulated CPU time (s) 1786.63 Current children cumulated vsize (Kb) 93032 [startup+1788.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776568/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1787.64 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30688 0 0 0 178388 376 0 0 25 0 1 0 205792771 95264768 18417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18417 108 232 0 23023 0 Current children cumulated CPU time (s) 1787.64 Current children cumulated vsize (Kb) 93032 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776504/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1788.64 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30691 0 0 0 178488 376 0 0 25 0 1 0 205792771 95264768 18420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18420 108 232 0 23023 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 93032 [startup+1790.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776504/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1789.64 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30696 0 0 0 178588 376 0 0 25 0 1 0 205792771 95264768 18425 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18425 108 232 0 23023 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 93032 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776504/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1790.65 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30704 0 0 0 178688 377 0 0 25 0 1 0 205792771 95264768 18433 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18433 108 232 0 23023 0 Current children cumulated CPU time (s) 1790.65 Current children cumulated vsize (Kb) 93032 [startup+1792.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776440/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1791.66 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30710 0 0 0 178789 377 0 0 25 0 1 0 205792771 95264768 18439 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18439 108 232 0 23023 0 Current children cumulated CPU time (s) 1791.66 Current children cumulated vsize (Kb) 93032 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776440/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1792.66 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30711 0 0 0 178889 377 0 0 25 0 1 0 205792771 95264768 18440 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18440 108 232 0 23023 0 Current children cumulated CPU time (s) 1792.66 Current children cumulated vsize (Kb) 93032 [startup+1794.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776440/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1793.66 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30713 0 0 0 178989 377 0 0 25 0 1 0 205792771 95264768 18442 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18442 108 232 0 23023 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 93032 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776440/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1794.67 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30719 0 0 0 179090 377 0 0 25 0 1 0 205792771 95264768 18448 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18448 108 232 0 23023 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 93032 [startup+1796.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776376/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1795.67 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30725 0 0 0 179190 377 0 0 25 0 1 0 205792771 95264768 18454 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18454 108 232 0 23023 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 93032 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776376/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1796.67 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30734 0 0 0 179290 377 0 0 25 0 1 0 205792771 95264768 18463 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18463 108 232 0 23023 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 93032 [startup+1798.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776312/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1797.69 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30737 0 0 0 179391 378 0 0 25 0 1 0 205792771 95264768 18466 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18466 108 232 0 23023 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (Kb) 93032 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776312/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1798.69 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30741 0 0 0 179491 378 0 0 25 0 1 0 205792771 95264768 18470 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18470 108 232 0 23023 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (Kb) 93032 [startup+1800.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776312/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1799.69 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30747 0 0 0 179591 378 0 0 25 0 1 0 205792771 95264768 18476 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18476 108 232 0 23023 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 93032 [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776248/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1800.7 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30750 0 0 0 179691 379 0 0 25 0 1 0 205792771 95264768 18479 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18479 108 232 0 23023 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 93032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17091 /proc/meminfo: memFree=1776248/2055920 swapFree=4181480/4192956 [pid=17089] ppid=17087 vsize=93032 CPUtime=1800.71 /proc/17089/stat : 17089 (PBS4L) R 17087 17089 17043 0 -1 4194304 30751 0 0 0 179692 379 0 0 25 0 1 0 205792771 95264768 18480 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17089/statm: 23258 18480 108 232 0 23023 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 93032 Sending SIGTERM to -17089 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.15 CPU time (s): 1800.72 CPU user time (s): 1796.92 CPU system time (s): 3.80342 CPU usage (%): 99.9763 Max. virtual memory (cumulated for all children) (Kb): 93032 The end
Begin job on node31 on Sun Jun 4 06:08:11 UTC 2006 FILE ID= 41694-1149401291 PBS_JOBID= 314034 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node31/41694-1149401291/instance-41694-1149401291.opb 192935722 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node31/watcher-41694-1149401291 -o ROOT/results/node31/solver-41694-1149401291 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node31/41694-1149401291/instance-41694-1149401291.opb 192935722 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 80d8f8438bdd117e32edd926d4898421 RANDOM SEED= 192935722 /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 : 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.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1850632 kB Buffers: 10776 kB Cached: 126092 kB SwapCached: 3212 kB Active: 31208 kB Inactive: 114400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850632 kB SwapTotal: 4192956 kB SwapFree: 4181480 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14964 kB Slab: 45660 kB Committed_AS: 425824 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node31 on Sun Jun 4 06:38:12 UTC 2006