Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.52 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb |
MD5SUM | a8708c855e8ec8c2a31771025318bb9b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4822 |
Best CPU time to get the best result obtained on this benchmark | 132.429 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4822 |
Optimality of the best value was proved | YES |
Number of variables | 771 |
Total number of constraints | 1951 |
Number of constraints which are clauses | 1949 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
Number of terms in the objective function | 771 |
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 | 33355 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 33355 |
Number of bits of the biggest sum of numbers | 16 |
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/node68/41696-1149401930/instance-41696-1149401930.opb ...... 0.03 c done parsing opb. 0.03 o 30994 0.04 o 30971 0.04 o 30965 0.04 o 30946 0.05 o 30937 0.05 o 30913 0.05 o 28379 0.06 o 28232 0.06 o 28066 0.06 o 28053 0.07 o 28043 0.07 o 28029 0.07 o 28015 0.07 o 28014 0.08 o 27999 0.08 o 27987 0.08 o 27962 0.09 o 27926 0.09 o 27912 0.09 o 27903 0.09 o 27894 0.10 o 27880 0.10 o 19725 0.10 o 19627 0.11 o 19618 0.12 o 12028 0.12 o 11740 0.12 o 11722 0.12 o 11694 0.12 o 11691 0.12 o 11688 0.13 o 11666 0.13 o 11659 0.13 o 11655 0.13 o 11642 0.13 o 11640 0.14 o 11632 0.14 o 10821 0.14 o 10739 0.14 o 10656 0.15 o 10561 0.15 o 10449 0.15 o 10425 0.15 o 10398 0.15 o 10379 0.15 o 10365 0.15 o 10351 0.16 o 10343 0.16 o 10334 0.16 o 10088 0.16 o 10081 29.91 o 10061 29.92 o 9973 29.92 o 9931 29.92 o 9906 29.92 o 9881 29.92 o 9873 29.92 o 9872 29.93 o 9864 29.93 o 9855 29.93 o 9830 29.93 o 9805 29.93 o 9780 29.93 o 9763 29.94 o 9738 29.94 o 9721 29.94 o 9704 29.94 o 9695 29.94 o 9687 29.94 o 9679 29.94 o 9670 29.95 o 9653 29.95 o 9636 29.95 o 9611 29.95 o 9594 29.95 o 9586 29.95 o 9561 29.96 o 9552 29.96 o 9543 29.96 o 9519 29.96 o 9518 29.96 o 9510 29.96 o 9502 29.96 o 9493 29.97 o 9476 29.97 o 9468 29.97 o 9459 29.97 o 9451 29.97 o 9434 29.97 o 9426 29.98 o 9418 29.98 o 9402 29.98 o 9401 29.98 o 9398 29.98 o 9391 29.98 o 9378 29.98 o 9356 29.99 o 9351 29.99 o 9332 29.99 o 9307 29.99 o 9292 29.99 o 9291 29.99 o 9288 30.00 o 9282 30.00 o 9258 30.00 o 9256 30.00 o 9247 30.00 o 9242 30.00 o 9233 30.00 o 9225 30.01 o 9224 30.01 o 9206 30.01 o 9195 30.01 o 9183 30.01 o 9158 30.01 o 9141 30.01 o 9116 30.02 o 9103 30.02 o 9096 30.02 o 9084 30.02 o 9080 30.02 o 9071 30.02 o 9054 30.02 o 9035 30.03 o 9010 30.03 o 9008 30.03 o 8990 30.03 o 8967 30.03 o 8942 30.03 o 8935 30.03 o 8932 30.04 o 8927 30.04 o 8924 30.04 o 8922 30.04 o 8913 30.04 o 8901 30.04 o 8885 30.05 o 8875 30.05 o 8860 30.05 o 8838 30.05 o 8820 30.05 o 8801 30.05 o 8791 30.05 o 8790 30.06 o 8784 30.06 o 8768 30.06 o 8748 30.06 o 8743 30.06 o 8741 30.06 o 8718 30.06 o 8715 30.07 o 8700 30.07 o 8683 30.07 o 8679 30.07 o 8674 30.07 o 8655 30.07 o 8642 30.07 o 8634 30.08 o 8610 30.08 o 8607 30.08 o 8588 30.08 o 8573 30.08 o 8553 30.08 o 8552 30.08 o 8550 30.09 o 8526 30.09 o 8518 30.09 o 8499 30.09 o 8489 30.09 o 8483 30.09 o 8474 30.09 o 8469 30.09 o 8452 30.10 o 8450 30.10 o 8443 30.10 o 8404 30.10 o 8305 30.10 o 8301 30.10 o 8289 30.10 o 8270 30.11 o 8266 30.11 o 8259 30.11 o 8256 30.11 o 8232 30.11 o 8225 30.11 o 8203 30.11 o 8181 30.12 o 8171 30.12 o 8168 30.12 o 8161 30.12 o 8140 30.12 o 8127 30.12 o 8125 30.12 o 8121 30.13 o 8114 30.13 o 8112 30.13 o 8095 30.13 o 8084 30.13 o 8071 30.13 o 8058 30.13 o 8049 30.14 o 8045 30.14 o 8041 30.14 o 8026 30.14 o 8012 30.14 o 8004 30.14 o 7990 30.14 o 7981 30.15 o 7956 30.15 o 7955 30.15 o 7947 30.15 o 7935 30.15 o 7929 30.15 o 7906 30.15 o 7886 30.15 o 7885 30.16 o 7871 30.16 o 7862 30.16 o 7861 30.16 o 7857 30.16 o 7842 30.16 o 7839 30.16 o 7822 30.17 o 7821 30.17 o 7812 30.17 o 7803 30.17 o 7800 30.17 o 7795 30.17 o 7790 30.18 o 7484 30.18 o 7233 30.18 o 7205 30.18 o 7184 30.18 o 7166 30.18 o 7153 30.18 o 7149 30.18 o 7120 30.19 o 7098 30.19 o 7096 30.19 o 7091 30.19 o 7071 30.19 o 7048 30.19 o 7023 30.19 o 7012 30.19 o 7007 30.20 o 6982 30.20 o 6974 30.20 o 6961 30.20 o 6952 30.20 o 6928 30.20 o 6903 30.20 o 6882 30.20 o 6860 30.21 o 6856 30.21 o 6836 30.22 o 6833 75.08 o 6830 75.09 o 6829 75.09 o 6824 75.09 o 6823 75.09 o 6818 75.10 o 6817 75.10 o 6735 75.10 o 6726 75.10 o 6701 75.10 o 6676 75.10 o 6659 75.10 o 6634 75.10 o 6625 75.11 o 6609 75.11 o 6600 75.11 o 6591 75.11 o 6568 75.11 o 6550 75.11 o 6543 75.11 o 6534 75.11 o 6509 75.11 o 6500 75.12 o 6491 75.12 o 6482 75.12 o 6466 75.12 o 6441 75.12 o 6432 75.12 o 6423 75.12 o 6407 75.12 o 6382 75.12 o 6373 75.12 o 6348 75.13 o 6332 75.13 o 6323 75.13 o 6298 75.13 o 6289 75.13 o 6280 75.13 o 6255 75.13 o 6246 75.13 o 6223 75.13 o 6221 75.14 o 6198 75.14 o 6189 75.14 o 6173 75.14 o 6158 75.14 o 6157 75.14 o 6132 75.14 o 6116
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/node68/watcher-41696-1149401930 -o ROOT/results/node68/solver-41696-1149401930 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node68/41696-1149401930/instance-41696-1149401930.opb 179567911 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 30673 /proc/meminfo: memFree=1852128/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=1532 CPUtime=0 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 173 0 0 0 0 0 0 0 18 0 1 0 205862580 1568768 152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 383 152 97 232 0 148 0 [startup+10.0015 s] /proc/loadavg: 0.93 0.95 0.98 2/64 30673 /proc/meminfo: memFree=1847080/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=5980 CPUtime=9.99 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 1378 0 0 0 992 7 0 0 25 0 1 0 205862580 6123520 1349 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 1495 1349 108 232 0 1260 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 5980 [startup+20.0072 s] /proc/loadavg: 0.94 0.96 0.98 2/64 30673 /proc/meminfo: memFree=1846760/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=6440 CPUtime=19.99 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 1510 0 0 0 1988 11 0 0 25 0 1 0 205862580 6594560 1432 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551257 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 1610 1432 108 232 0 1375 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 6440 [startup+30.0129 s] /proc/loadavg: 0.95 0.96 0.98 2/64 30673 /proc/meminfo: memFree=1846440/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=6700 CPUtime=30 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 1585 0 0 0 2986 14 0 0 25 0 1 0 205862580 6860800 1507 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135137917 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 1675 1507 108 232 0 1440 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 6700 [startup+40.0187 s] /proc/loadavg: 0.95 0.96 0.98 2/64 30673 /proc/meminfo: memFree=1842024/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=11332 CPUtime=39.99 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 2784 0 0 0 3980 19 0 0 25 0 1 0 205862580 11603968 2609 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 2833 2609 108 232 0 2598 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 11332 [startup+50.0244 s] /proc/loadavg: 0.96 0.96 0.98 2/64 30673 /proc/meminfo: memFree=1841768/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=11464 CPUtime=50 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 2854 0 0 0 4980 20 0 0 25 0 1 0 205862580 11739136 2679 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 2866 2679 108 232 0 2631 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 11464 [startup+60.0301 s] /proc/loadavg: 0.97 0.96 0.98 2/64 30673 /proc/meminfo: memFree=1841576/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=11592 CPUtime=60 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 2892 0 0 0 5980 20 0 0 25 0 1 0 205862580 11870208 2717 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 2898 2717 108 232 0 2663 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 11592 [startup+70.0358 s] /proc/loadavg: 0.97 0.96 0.98 2/64 30673 /proc/meminfo: memFree=1841448/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=11720 CPUtime=70 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 2934 0 0 0 6979 21 0 0 25 0 1 0 205862580 12001280 2759 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 2930 2759 108 232 0 2695 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 11720 [startup+80.0415 s] /proc/loadavg: 0.98 0.96 0.98 2/64 30673 /proc/meminfo: memFree=1841000/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=12616 CPUtime=80 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3198 0 0 0 7979 21 0 0 25 0 1 0 205862580 12918784 2830 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552416 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 3154 2830 108 232 0 2919 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 12616 [startup+90.0463 s] /proc/loadavg: 0.98 0.96 0.98 2/64 30673 /proc/meminfo: memFree=1840936/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=12788 CPUtime=90 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3258 0 0 0 8978 22 0 0 25 0 1 0 205862580 13094912 2890 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 3197 2890 108 232 0 2962 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 12788 [startup+100.052 s] /proc/loadavg: 0.98 0.96 0.98 2/64 30673 /proc/meminfo: memFree=1840808/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=12972 CPUtime=100.01 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3302 0 0 0 9978 23 0 0 25 0 1 0 205862580 13283328 2934 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549440 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 3243 2934 108 232 0 3008 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 12972 [startup+110.059 s] /proc/loadavg: 0.98 0.96 0.98 2/64 30673 /proc/meminfo: memFree=1840616/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=12972 CPUtime=110.01 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3348 0 0 0 10978 23 0 0 25 0 1 0 205862580 13283328 2980 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563483 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 3243 2980 108 232 0 3008 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 12972 [startup+120.064 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30673 /proc/meminfo: memFree=1840360/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=13140 CPUtime=120.01 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3404 0 0 0 11977 24 0 0 25 0 1 0 205862580 13455360 3036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 3285 3036 108 232 0 3050 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 13140 [startup+130.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30673 /proc/meminfo: memFree=1840168/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=13332 CPUtime=130.02 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3446 0 0 0 12977 25 0 0 25 0 1 0 205862580 13651968 3078 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 3333 3078 108 232 0 3098 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 13332 [startup+140.077 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30673 /proc/meminfo: memFree=1839976/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=13332 CPUtime=140.02 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3505 0 0 0 13976 26 0 0 25 0 1 0 205862580 13651968 3137 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 3333 3137 108 232 0 3098 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 13332 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30673 /proc/meminfo: memFree=1839720/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=13460 CPUtime=150.02 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3557 0 0 0 14976 26 0 0 25 0 1 0 205862580 13783040 3189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 3365 3189 108 232 0 3130 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 13460 [startup+160.088 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30673 /proc/meminfo: memFree=1839528/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=13680 CPUtime=160.02 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3609 0 0 0 15975 27 0 0 25 0 1 0 205862580 14008320 3241 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 3420 3241 108 232 0 3185 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 13680 [startup+170.095 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30673 /proc/meminfo: memFree=1836520/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=23408 CPUtime=170.03 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 4750 0 0 0 16973 30 0 0 25 0 1 0 205862580 23969792 3997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 5852 3997 108 232 0 5617 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 23408 [startup+180.101 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30673 /proc/meminfo: memFree=1835944/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=23704 CPUtime=180.03 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 4881 0 0 0 17972 31 0 0 25 0 1 0 205862580 24272896 4128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563511 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 5926 4128 108 232 0 5691 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 23704 [startup+190.107 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30673 /proc/meminfo: memFree=1835752/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=23836 CPUtime=190.03 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 4932 0 0 0 18971 32 0 0 25 0 1 0 205862580 24408064 4179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 5959 4179 108 232 0 5724 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 23836 [startup+200.112 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30673 /proc/meminfo: memFree=1835496/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=23964 CPUtime=200.03 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 4990 0 0 0 19970 33 0 0 25 0 1 0 205862580 24539136 4237 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 5991 4237 108 232 0 5756 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 23964 [startup+210.118 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30673 /proc/meminfo: memFree=1834024/2055920 swapFree=4182304/4192956 ################ # More data... # ################ /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15157 0 0 0 177985 156 0 0 25 0 1 0 205862580 62668800 12098 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15300 12098 108 232 0 15065 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 61200 [startup+1783.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803496/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61200 CPUtime=1782.41 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15159 0 0 0 178085 156 0 0 25 0 1 0 205862580 62668800 12100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15300 12100 108 232 0 15065 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 61200 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61200 CPUtime=1783.42 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15164 0 0 0 178186 156 0 0 25 0 1 0 205862580 62668800 12105 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15300 12105 108 232 0 15065 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 61200 [startup+1785.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61200 CPUtime=1784.42 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15165 0 0 0 178286 156 0 0 25 0 1 0 205862580 62668800 12106 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15300 12106 108 232 0 15065 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 61200 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61200 CPUtime=1785.43 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15167 0 0 0 178387 156 0 0 25 0 1 0 205862580 62668800 12108 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15300 12108 108 232 0 15065 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 61200 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61200 CPUtime=1786.43 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15168 0 0 0 178487 156 0 0 25 0 1 0 205862580 62668800 12109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15300 12109 108 232 0 15065 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 61200 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61200 CPUtime=1787.43 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15169 0 0 0 178587 156 0 0 25 0 1 0 205862580 62668800 12110 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15300 12110 108 232 0 15065 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 61200 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61200 CPUtime=1788.44 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15170 0 0 0 178688 156 0 0 25 0 1 0 205862580 62668800 12111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15300 12111 108 232 0 15065 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 61200 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61200 CPUtime=1789.44 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15171 0 0 0 178788 156 0 0 25 0 1 0 205862580 62668800 12112 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15300 12112 108 232 0 15065 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 61200 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61200 CPUtime=1790.45 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15173 0 0 0 178889 156 0 0 25 0 1 0 205862580 62668800 12114 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134856436 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15300 12114 108 232 0 15065 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 61200 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803368/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61324 CPUtime=1791.45 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15183 0 0 0 178989 156 0 0 25 0 1 0 205862580 62795776 12124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15331 12124 108 232 0 15096 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 61324 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803368/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61324 CPUtime=1792.45 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15185 0 0 0 179089 156 0 0 25 0 1 0 205862580 62795776 12126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15331 12126 108 232 0 15096 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 61324 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803368/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61324 CPUtime=1793.46 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15186 0 0 0 179190 156 0 0 25 0 1 0 205862580 62795776 12127 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15331 12127 108 232 0 15096 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 61324 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803368/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61324 CPUtime=1794.46 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15187 0 0 0 179290 156 0 0 25 0 1 0 205862580 62795776 12128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15331 12128 108 232 0 15096 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (Kb) 61324 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803368/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61324 CPUtime=1795.47 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15188 0 0 0 179390 157 0 0 25 0 1 0 205862580 62795776 12129 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15331 12129 108 232 0 15096 0 Current children cumulated CPU time (s) 1795.47 Current children cumulated vsize (Kb) 61324 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803368/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61324 CPUtime=1796.48 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15189 0 0 0 179491 157 0 0 25 0 1 0 205862580 62795776 12130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563491 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15331 12130 108 232 0 15096 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 61324 [startup+1798.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803304/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61324 CPUtime=1797.48 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15194 0 0 0 179591 157 0 0 25 0 1 0 205862580 62795776 12135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15331 12135 108 232 0 15096 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 61324 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803304/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61324 CPUtime=1798.48 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15196 0 0 0 179691 157 0 0 25 0 1 0 205862580 62795776 12137 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15331 12137 108 232 0 15096 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 61324 [startup+1800.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803304/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61324 CPUtime=1799.49 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15197 0 0 0 179792 157 0 0 25 0 1 0 205862580 62795776 12138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15331 12138 108 232 0 15096 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 61324 [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803304/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61324 CPUtime=1800.49 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15199 0 0 0 179892 157 0 0 25 0 1 0 205862580 62795776 12140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15331 12140 108 232 0 15096 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 61324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30675 /proc/meminfo: memFree=1803304/2055920 swapFree=4182304/4192956 [pid=30673] ppid=30671 vsize=61324 CPUtime=1800.5 /proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15199 0 0 0 179893 157 0 0 25 0 1 0 205862580 62795776 12140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/30673/statm: 15331 12140 108 232 0 15096 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 61324 Sending SIGTERM to -30673 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.15 CPU time (s): 1800.52 CPU user time (s): 1798.93 CPU system time (s): 1.58376 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (Kb): 61324 The end
Begin job on node68 on Sun Jun 4 06:18:50 UTC 2006 FILE ID= 41696-1149401930 PBS_JOBID= 314067 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node68/41696-1149401930/instance-41696-1149401930.opb 179567911 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-41696-1149401930 -o ROOT/results/node68/solver-41696-1149401930 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node68/41696-1149401930/instance-41696-1149401930.opb 179567911 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b RANDOM SEED= 179567911 /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.279 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.279 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: 1852336 kB Buffers: 11512 kB Cached: 131140 kB SwapCached: 2256 kB Active: 32624 kB Inactive: 118620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852336 kB SwapTotal: 4192956 kB SwapFree: 4182304 kB Dirty: 152 kB Writeback: 0 kB Mapped: 15548 kB Slab: 38416 kB Committed_AS: 406996 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node68 on Sun Jun 4 06:48:52 UTC 2006