Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.08 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cm42a.opb |
MD5SUM | fbb7284250700e8b461b63d83ddce719 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 694 |
Best CPU time to get the best result obtained on this benchmark | 0.035994 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 694 |
Optimality of the best value was proved | YES |
Number of variables | 99 |
Total number of constraints | 185 |
Number of constraints which are clauses | 185 |
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 | 20 |
Number of terms in the objective function | 99 |
Biggest coefficient in the objective function | 60 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 4087 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 60 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 4087 |
Number of bits of the biggest sum of numbers | 12 |
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/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/363703-1177031223/instance-363703-1177031223.opb ...... 0.00/0.00 c done parsing opb. 0.00/0.00 o 3259 0.00/0.00 o 3234 0.00/0.00 o 3209 0.00/0.00 o 3202 0.00/0.00 o 3184 0.00/0.00 o 3159 0.00/0.00 o 3134 0.00/0.00 o 3127 0.00/0.00 o 3102 0.00/0.00 o 3084 0.00/0.00 o 3077 0.00/0.00 o 3052 0.00/0.00 o 3027 0.00/0.00 o 3020 0.00/0.00 o 2995 0.00/0.00 o 2988 0.00/0.00 o 2963 0.00/0.00 o 2956 0.00/0.00 o 2931 0.00/0.00 o 2924 0.00/0.00 o 2899 0.00/0.00 o 2892 0.00/0.00 o 2867 0.00/0.00 o 2860 0.00/0.00 o 2835 0.00/0.00 o 2828 0.00/0.00 o 2803 0.00/0.00 o 2796 0.00/0.00 o 2771 0.00/0.00 o 2764 0.00/0.00 o 2739 0.00/0.00 o 2729 0.00/0.00 o 2722 0.00/0.00 o 2697 0.00/0.00 o 2687 0.00/0.00 o 2680 0.00/0.00 o 2655 0.00/0.00 o 2645 0.00/0.00 o 2638 0.00/0.00 o 2613 0.00/0.00 o 2604 0.00/0.00 o 2594 0.00/0.00 o 2585 0.00/0.00 o 2562 0.00/0.00 o 2559 0.00/0.00 o 2553 0.00/0.00 o 2543 0.00/0.00 o 2536 0.00/0.00 o 2511 0.00/0.01 o 2502 0.00/0.01 o 2492 0.00/0.01 o 2485 0.00/0.01 o 2460 0.00/0.01 o 2451 0.00/0.01 o 2441 0.00/0.01 o 2434 0.00/0.01 o 2409 0.00/0.01 o 2400 0.00/0.01 o 2390 0.00/0.01 o 2383 0.00/0.01 o 2358 0.00/0.01 o 2349 0.00/0.01 o 2339 0.00/0.01 o 2332 0.00/0.01 o 2307 0.00/0.01 o 2298 0.00/0.01 o 2288 0.00/0.01 o 2281 0.00/0.01 o 2256 0.00/0.01 o 2247 0.00/0.01 o 2237 0.00/0.01 o 2230 0.00/0.01 o 2205 0.00/0.01 o 2196 0.00/0.01 o 2186 0.00/0.01 o 2179 0.00/0.01 o 2154 0.00/0.01 o 2145 0.00/0.01 o 2135 0.00/0.01 o 2128 0.00/0.01 o 2103 0.00/0.01 o 2094 0.00/0.01 o 2084 0.00/0.01 o 2077 0.00/0.01 o 2052 0.00/0.01 o 2043 0.00/0.01 o 2033 0.00/0.01 o 2026 0.00/0.01 o 2001 0.00/0.01 o 1999 0.00/0.01 o 1992 0.00/0.01 o 1967 0.00/0.01 o 1965 0.00/0.01 o 1958 0.00/0.01 o 1933 0.00/0.01 o 1931 0.00/0.01 o 1924 0.00/0.01 o 1899 0.00/0.01 o 1897 0.00/0.01 o 1890 0.00/0.01 o 1865 0.00/0.01 o 1863 0.00/0.01 o 1856 0.00/0.01 o 1831 0.00/0.01 o 1829 0.00/0.01 o 1822 0.00/0.01 o 1797 0.00/0.01 o 1795 0.00/0.01 o 1788 0.00/0.01 o 1763 0.00/0.01 o 1761 0.00/0.01 o 1754 0.00/0.01 o 1729 0.00/0.01 o 1728 0.00/0.01 o 1703 0.00/0.01 o 1701 0.00/0.01 o 1694 0.00/0.01 o 1669 0.00/0.01 o 1668 0.00/0.01 o 1643 0.00/0.01 o 1641 0.00/0.01 o 1634 0.00/0.01 o 1609 0.00/0.01 o 1595 0.00/0.01 o 1593 0.00/0.01 o 1587 0.00/0.01 o 1583 0.00/0.01 o 1574 0.00/0.01 o 1567 0.00/0.02 o 1542 0.00/0.02 o 1541 0.00/0.02 o 1313 0.00/0.02 o 1288 0.00/0.02 o 1240 0.00/0.02 o 1224 0.00/0.02 o 1199 0.00/0.02 o 1174 0.00/0.02 o 1127 0.00/0.02 o 930 0.00/0.02 o 921 0.00/0.02 o 870 0.00/0.02 o 806 0.00/0.02 o 793 0.09/0.10 o 792 0.09/0.11 o 791 0.09/0.15 o 776 0.09/0.18 o 773 0.49/0.53 o 766 0.49/0.58 o 757 2.09/2.14 o 755 2.19/2.21 o 748 3.30/3.36 o 746 3.79/3.88 o 739 5.29/5.31 o 730 10.69/10.75 o 723 11.29/11.33 o 705 32.58/32.62 o 696 1306.28/1306.64 o 694 1800.07/1800.50 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/363703-1177031223/instance-363703-1177031223.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-363703-1177031223 -o ROOT/results/node50/solver-363703-1177031223 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363703-1177031223/PBS4 /tmp/evaluation/363703-1177031223/instance-363703-1177031223.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.99 3/64 10963 /proc/meminfo: memFree=1810672/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=1320 CPUtime=0 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 1 0 57967473 1351680 126 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 330 126 102 219 0 107 0 [startup+0.0444699 s] /proc/loadavg: 1.00 1.00 0.99 3/64 10963 /proc/meminfo: memFree=1810672/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=1320 CPUtime=0.03 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 185 0 0 0 3 0 0 0 18 0 1 0 57967473 1351680 167 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 330 167 102 219 0 107 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1320 [startup+0.101473 s] /proc/loadavg: 1.00 1.00 0.99 3/64 10963 /proc/meminfo: memFree=1810672/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=1720 CPUtime=0.09 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 241 0 0 0 9 0 0 0 18 0 1 0 57967473 1761280 223 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 430 223 103 219 0 207 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1720 [startup+0.301492 s] /proc/loadavg: 1.00 1.00 0.99 3/64 10963 /proc/meminfo: memFree=1810672/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=2560 CPUtime=0.29 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 415 0 0 0 29 0 0 0 19 0 1 0 57967473 2621440 397 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 640 397 103 219 0 417 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2560 [startup+0.701526 s] /proc/loadavg: 1.00 1.00 0.99 3/64 10963 /proc/meminfo: memFree=1810672/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=3776 CPUtime=0.69 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 627 0 0 0 67 2 0 0 22 0 1 0 57967473 3866624 560 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 944 560 104 219 0 721 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3776 [startup+1.5016 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10964 /proc/meminfo: memFree=1808488/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=3908 CPUtime=1.49 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 825 0 0 0 147 2 0 0 25 0 1 0 57967473 4001792 758 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 977 758 104 219 0 754 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3908 [startup+3.10174 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10964 /proc/meminfo: memFree=1807464/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=6476 CPUtime=3.09 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 1181 0 0 0 305 4 0 0 25 0 1 0 57967473 6631424 1017 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 1619 1017 104 219 0 1396 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6476 [startup+6.30201 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10964 /proc/meminfo: memFree=1805992/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=6748 CPUtime=6.29 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 1407 0 0 0 623 6 0 0 25 0 1 0 57967473 6909952 1243 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 1687 1243 104 219 0 1464 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6748 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10964 /proc/meminfo: memFree=1804648/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=7156 CPUtime=12.68 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 1749 0 0 0 1261 7 0 0 25 0 1 0 57967473 7327744 1585 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 1789 1585 104 219 0 1566 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7156 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10964 /proc/meminfo: memFree=1802280/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=12608 CPUtime=25.49 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 2504 0 0 0 2537 12 0 0 25 0 1 0 57967473 12910592 2147 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 3152 2147 104 219 0 2929 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12608 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10964 /proc/meminfo: memFree=1799592/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=13384 CPUtime=51.08 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 3161 0 0 0 5089 19 0 0 25 0 1 0 57967473 13705216 2804 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 3346 2804 104 219 0 3123 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13384 [startup+102.304 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1794728/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=24424 CPUtime=102.27 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 4754 0 0 0 10201 26 0 0 25 0 1 0 57967473 25010176 4012 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 6106 4012 104 219 0 5883 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24424 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1791784/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=25632 CPUtime=162.25 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 5505 0 0 0 16190 35 0 0 25 0 1 0 57967473 26247168 4763 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 6408 4763 104 219 0 6185 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 25632 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1788456/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=29920 CPUtime=222.23 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 7113 0 0 0 22181 42 0 0 25 0 1 0 57967473 30638080 5602 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 7480 5602 104 219 0 7257 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 29920 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1785576/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=31000 CPUtime=282.22 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 7836 0 0 0 28174 48 0 0 25 0 1 0 57967473 31744000 6325 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 7750 6326 104 219 0 7527 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 31000 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1782184/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=48428 CPUtime=342.21 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 8681 0 0 0 34167 54 0 0 25 0 1 0 57967473 49590272 7170 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 12107 7170 104 219 0 11884 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 48428 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1779752/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=48964 CPUtime=402.19 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 9281 0 0 0 40161 58 0 0 25 0 1 0 57967473 50139136 7770 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 12241 7770 104 219 0 12018 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 48964 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1777256/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=49964 CPUtime=462.18 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 9904 0 0 0 46154 64 0 0 25 0 1 0 57967473 51163136 8393 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 12491 8393 104 219 0 12268 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 49964 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1776424/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=50272 CPUtime=522.16 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 10102 0 0 0 52148 68 0 0 25 0 1 0 57967473 51478528 8591 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 12568 8591 104 219 0 12345 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 50272 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1774632/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=50724 CPUtime=582.15 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 10545 0 0 0 58142 73 0 0 25 0 1 0 57967473 51941376 9034 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 12681 9034 104 219 0 12458 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 50724 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1772264/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=57196 CPUtime=642.14 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 12709 0 0 0 64135 79 0 0 25 0 1 0 57967473 58568704 9628 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 14299 9628 104 219 0 14076 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 57196 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1766632/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=59292 CPUtime=882.08 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 14185 0 0 0 88113 95 0 0 25 0 1 0 57967473 60715008 11005 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 14823 11005 104 219 0 14600 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 59292 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1765800/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=59948 CPUtime=942.06 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 14434 0 0 0 94108 98 0 0 25 0 1 0 57967473 61386752 11188 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 14987 11188 104 219 0 14764 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 59948 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1765160/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=60368 CPUtime=1002.05 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 14610 0 0 0 100103 102 0 0 25 0 1 0 57967473 61816832 11364 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551816 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 15092 11364 104 219 0 14869 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 60368 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1764392/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=60800 CPUtime=1062.04 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 14826 0 0 0 106098 106 0 0 25 0 1 0 57967473 62259200 11547 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552713 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 15200 11547 104 219 0 14977 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 60800 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1763688/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=61124 CPUtime=1122.02 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 14994 0 0 0 112093 109 0 0 25 0 1 0 57967473 62590976 11715 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 15281 11715 104 219 0 15058 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 61124 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1763176/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=61600 CPUtime=1182.01 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 15125 0 0 0 118088 113 0 0 25 0 1 0 57967473 63078400 11846 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 15400 11846 104 219 0 15177 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 61600 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1762408/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=61732 CPUtime=1242 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 15301 0 0 0 124083 117 0 0 25 0 1 0 57967473 63213568 12022 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 15433 12022 104 219 0 15210 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 61732 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1761512/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=62096 CPUtime=1301.99 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 15520 0 0 0 130079 120 0 0 25 0 1 0 57967473 63586304 12241 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 15524 12241 104 219 0 15301 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 62096 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1760232/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=62224 CPUtime=1361.96 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 15875 0 0 0 136073 123 0 0 25 0 1 0 57967473 63717376 12563 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 15556 12563 104 219 0 15333 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 62224 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1759016/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=62868 CPUtime=1421.95 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 16234 0 0 0 142068 127 0 0 25 0 1 0 57967473 64376832 12856 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 15717 12856 104 219 0 15494 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 62868 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1758248/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=63800 CPUtime=1481.94 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 16493 0 0 0 148064 130 0 0 25 0 1 0 57967473 65331200 13049 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 15950 13049 104 219 0 15727 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 63800 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1757352/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=63928 CPUtime=1541.92 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 16752 0 0 0 154059 133 0 0 25 0 1 0 57967473 65462272 13275 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 15982 13275 104 219 0 15759 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 63928 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1756712/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=64492 CPUtime=1601.91 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 16937 0 0 0 160054 137 0 0 25 0 1 0 57967473 66039808 13427 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 16123 13427 104 219 0 15900 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 64492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1756200/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=64624 CPUtime=1661.89 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 17059 0 0 0 166050 139 0 0 25 0 1 0 57967473 66174976 13549 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 16156 13549 104 219 0 15933 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 64624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1754856/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=65140 CPUtime=1721.87 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 17462 0 0 0 172045 142 0 0 25 0 1 0 57967473 66703360 13886 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 16285 13886 104 219 0 16062 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 65140 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1753704/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=65864 CPUtime=1781.86 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 17742 0 0 0 178041 145 0 0 25 0 1 0 57967473 67444736 14166 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 16466 14166 104 219 0 16243 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 65864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1753512/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=65864 CPUtime=1800.07 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 17794 0 0 0 179860 147 0 0 25 0 1 0 57967473 67444736 14218 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 16466 14218 104 219 0 16243 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 65864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10966 /proc/meminfo: memFree=1753512/2055920 swapFree=4183800/4192956 [pid=10963] ppid=10961 vsize=65864 CPUtime=1800.07 /proc/10963/stat : 10963 (PBS4) R 10961 10963 10471 0 -1 4194304 17794 0 0 0 179860 147 0 0 25 0 1 0 57967473 67444736 14218 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10963/statm: 16466 14218 104 219 0 16243 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 65864 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.08 CPU user time (s): 1798.6 CPU system time (s): 1.48077 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 65864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.6 system time used= 1.48077 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17795 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 1475 runsolver used 1.34879 second user time and 3.59045 second system time The end
Begin job on node50 on Fri Apr 20 01:07:03 UTC 2007 IDJOB= 363703 IDBENCH= 2019 IDSOLVER= 157 FILE ID= node50/363703-1177031223 PBS_JOBID= 4630629 Free space on /tmp= 66507 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb COMMAND LINE= /tmp/evaluation/363703-1177031223/PBS4 /tmp/evaluation/363703-1177031223/instance-363703-1177031223.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node50/convwatcher-363703-1177031223 -o ROOT/results/node50/conversion-363703-1177031223 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/363703-1177031223/instance-363703-1177031223.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-363703-1177031223 -o ROOT/results/node50/solver-363703-1177031223 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363703-1177031223/PBS4 /tmp/evaluation/363703-1177031223/instance-363703-1177031223.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= fbb7284250700e8b461b63d83ddce719 RANDOM SEED= 663473694 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.232 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.232 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: 1811080 kB Buffers: 23912 kB Cached: 151052 kB SwapCached: 2856 kB Active: 63196 kB Inactive: 130440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811080 kB SwapTotal: 4192956 kB SwapFree: 4183800 kB Dirty: 1140 kB Writeback: 0 kB Mapped: 15464 kB Slab: 37248 kB Committed_AS: 1184972 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66507 MiB End job on node50 on Fri Apr 20 01:37:06 UTC 2007