Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.65 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb |
MD5SUM | 866c660dea8282137b8c78839dd4c03f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4517 |
Best CPU time to get the best result obtained on this benchmark | 4.75927 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4517 |
Optimality of the best value was proved | YES |
Number of variables | 651 |
Total number of constraints | 1658 |
Number of constraints which are clauses | 1656 |
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 | 651 |
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 | 28138 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 28138 |
Number of bits of the biggest sum of numbers | 15 |
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/node85/41695-1149401788/instance-41695-1149401788.opb ...... 0.03 c done parsing opb. 0.03 o 25911 0.03 o 25785 0.03 o 25763 0.03 o 25762 0.03 o 25750 0.03 o 25734 0.04 o 25723 0.04 o 25700 0.04 o 25694 0.04 o 25687 0.04 o 25679 0.05 o 25655 0.05 o 25636 0.05 o 25626 0.05 o 25610 0.06 o 25564 0.06 o 25552 0.06 o 25545 0.06 o 25533 0.06 o 25518 0.07 o 25508 0.07 o 25487 0.07 o 25468 0.07 o 25467 0.07 o 25442 0.08 o 25417 0.08 o 25412 0.08 o 25408 0.08 o 25385 0.09 o 20989 0.09 o 20889 0.09 o 20867 0.09 o 20755 0.09 o 20742 0.10 o 20741 0.10 o 20720 0.10 o 20715 0.10 o 20701 0.10 o 20687 0.11 o 20678 0.11 o 8821 0.11 o 8674 0.11 o 8522 0.11 o 8518 0.11 o 8493 0.12 o 7676 0.12 o 7546 0.12 o 7523 0.12 o 7513 0.12 o 7498 0.42 o 7495 28.27 o 7490 28.28 o 7488 28.28 o 7463 28.28 o 6801 28.28 o 6793 28.29 o 6785 28.29 o 6776 28.29 o 6751 28.29 o 6743 28.29 o 6726 28.29 o 6701 28.29 o 6692 28.29 o 6667 28.29 o 6642 28.29 o 6625 28.29 o 6600 28.30 o 6591 28.30 o 6566 28.30 o 6557 28.30 o 6549 28.30 o 6524 28.30 o 6499 28.30 o 6498 28.30 o 6490 28.30 o 6473 28.30 o 6464 28.30 o 6448 28.31 o 6425 28.31 o 6420 28.31 o 6395 28.31 o 6383 28.31 o 6376 28.31 o 6351 28.31 o 6350 28.31 o 6342 28.31 o 6331 28.32 o 6329 28.32 o 6322 28.32 o 6316 28.32 o 6299 28.32 o 6298 28.32 o 6297 28.32 o 6280 28.32 o 6266 28.32 o 6257 28.32 o 6248 28.32 o 6232 28.33 o 6231 28.33 o 6213 28.33 o 6211 28.33 o 6210 28.33 o 6208 28.33 o 6193 28.33 o 6183 28.33 o 6178 28.33 o 6158 28.33 o 6144 28.33 o 6133 28.34 o 6127 28.34 o 6102 28.34 o 6101 28.34 o 6093 28.34 o 6068 28.34 o 6049 28.34 o 6040 38.30 o 6038 38.31 o 6017 38.31 o 6006 38.31 o 5993 38.31 o 5986 38.31 o 5984 38.32 o 5959 38.32 o 5952 38.32 o 5927 38.32 o 5925 38.32 o 5918 38.32 o 5893 38.32 o 5891 38.32 o 5884 38.32 o 5859 38.32 o 5851 38.32 o 5849 38.32 o 5842 38.32 o 5817 38.33 o 5810 38.33 o 5785 38.33 o 5766 38.33 o 5763 38.33 o 5738 38.33 o 5736 38.33 o 5729 38.33 o 5704 38.33 o 5702 38.33 o 5695 38.33 o 5670 38.34 o 5668 38.34 o 5661 38.34 o 5636 38.34 o 5634 38.34 o 5627 38.34 o 5602 38.34 o 5594 38.34 o 5593 38.34 o 5571 38.34 o 5563 38.34 o 5561 38.34 o 5554 38.35 o 5552 38.35 o 5527 38.35 o 5520 38.35 o 5518 38.35 o 5493 38.35 o 5491 38.35 o 5484 38.35 o 5459 38.35 o 5452 38.35 o 5427 38.35 o 5420 88.05 o 5417 89.34 o 5413 108.38 o 5407 111.85 o 5404 113.09 o 5399 113.30 o 5394 114.06 o 5387 114.13 o 5382 114.48 o 5375 121.20 o 5370 124.23 o 5358 326.74 o 5354 326.74 o 5349 326.75 o 5327 326.75 o 5313 326.75 o 5303 326.76 o 5281 326.76 o 5263 326.76 o 5253 326.76 o 5234 326.76 o 5227 326.76 o 5212 326.76 o 5205 326.76 o 5180 326.76 o 5170 326.77 o 5165 326.78 o 5155
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/node85/watcher-41695-1149401788 -o ROOT/results/node85/solver-41695-1149401788 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node85/41695-1149401788/instance-41695-1149401788.opb 121561383 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1371600/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=1400 CPUtime=0 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 163 0 0 0 0 0 0 0 18 0 1 0 205818031 1433600 144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536732 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 350 144 97 232 0 115 0 [startup+10.0016 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1358800/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=18560 CPUtime=9.99 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 3374 0 0 0 993 6 0 0 25 0 1 0 205818031 19005440 3298 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 4640 3298 108 232 0 4405 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 18560 [startup+20.0077 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1356752/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=18944 CPUtime=19.99 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 3887 0 0 0 1992 7 0 0 25 0 1 0 205818031 19398656 3811 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 4736 3811 108 232 0 4501 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 18944 [startup+30.0139 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1356304/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=19640 CPUtime=29.99 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 4098 0 0 0 2989 10 0 0 25 0 1 0 205818031 20111360 3925 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 4910 3925 108 232 0 4675 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 19640 [startup+40.0201 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1355984/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=19772 CPUtime=39.99 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 4176 0 0 0 3987 12 0 0 25 0 1 0 205818031 20246528 4003 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 4943 4003 108 232 0 4708 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 19772 [startup+50.0262 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1355792/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=19904 CPUtime=50 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 4230 0 0 0 4987 13 0 0 25 0 1 0 205818031 20381696 4057 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 4976 4057 108 232 0 4741 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 19904 [startup+60.0324 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1355536/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=20832 CPUtime=60 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 4497 0 0 0 5986 14 0 0 25 0 1 0 205818031 21331968 4131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549288 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 5208 4131 108 232 0 4973 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 20832 [startup+70.0375 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1355152/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=21096 CPUtime=70.01 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 4586 0 0 0 6985 16 0 0 25 0 1 0 205818031 21602304 4220 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 5274 4220 108 232 0 5039 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 21096 [startup+80.0437 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1354704/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=21284 CPUtime=80.01 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 4695 0 0 0 7983 18 0 0 25 0 1 0 205818031 21794816 4329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 5321 4329 108 232 0 5086 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 21284 [startup+90.0499 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1353360/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=21692 CPUtime=90.01 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 5032 0 0 0 8982 19 0 0 25 0 1 0 205818031 22212608 4666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 5423 4666 108 232 0 5188 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 21692 [startup+100.056 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1350160/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=38204 CPUtime=100.01 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 5830 0 0 0 9979 22 0 0 25 0 1 0 205818031 39120896 5464 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 9551 5464 108 232 0 9316 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 38204 [startup+110.062 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1349840/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=39868 CPUtime=110.02 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 6290 0 0 0 10978 24 0 0 25 0 1 0 205818031 40824832 5539 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 9967 5539 108 232 0 9732 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 39868 [startup+120.068 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1349456/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=40140 CPUtime=120.02 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 6378 0 0 0 11977 25 0 0 25 0 1 0 205818031 41103360 5627 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 10035 5627 108 232 0 9800 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 40140 [startup+130.074 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1347344/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=40272 CPUtime=130.02 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 6908 0 0 0 12975 27 0 0 25 0 1 0 205818031 41238528 6157 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 10068 6157 108 232 0 9833 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 40272 [startup+140.08 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1346192/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=40468 CPUtime=140.03 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 7201 0 0 0 13974 29 0 0 25 0 1 0 205818031 41439232 6450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 10117 6450 108 232 0 9882 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 40468 [startup+150.086 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1345872/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=40644 CPUtime=150.03 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 7293 0 0 0 14971 32 0 0 25 0 1 0 205818031 41619456 6542 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 10161 6542 108 232 0 9926 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 40644 [startup+160.092 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1344272/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=40848 CPUtime=160.04 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 7691 0 0 0 15971 33 0 0 25 0 1 0 205818031 41828352 6940 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 10212 6940 108 232 0 9977 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 40848 [startup+170.098 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1341712/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=40848 CPUtime=170.04 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 8318 0 0 0 16969 35 0 0 25 0 1 0 205818031 41828352 7567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563498 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 10212 7567 108 232 0 9977 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 40848 [startup+180.104 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1340944/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=41116 CPUtime=180.05 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 8520 0 0 0 17968 37 0 0 25 0 1 0 205818031 42102784 7769 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 10279 7769 108 232 0 10044 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 41116 [startup+190.109 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1340624/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=41256 CPUtime=190.05 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 8588 0 0 0 18966 39 0 0 25 0 1 0 205818031 42246144 7837 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 10314 7837 108 232 0 10079 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 41256 [startup+200.116 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1340368/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=41532 CPUtime=200.04 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 8656 0 0 0 19964 40 0 0 25 0 1 0 205818031 42528768 7905 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 10383 7905 108 232 0 10148 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 41532 [startup+210.122 s] /proc/loadavg: 1.00 1.00 0.99 2/68 31212 /proc/meminfo: memFree=1340112/2055892 swapFree=4085348/4096564 ################ # More data... # ################ /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19560 0 0 0 177988 166 0 0 25 0 1 0 205818031 76951552 13430 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13430 108 232 0 18552 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 75148 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1318032/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1782.54 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19562 0 0 0 178088 166 0 0 25 0 1 0 205818031 76951552 13432 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13432 108 232 0 18552 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 75148 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1318032/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1783.54 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19563 0 0 0 178188 166 0 0 25 0 1 0 205818031 76951552 13433 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563511 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13433 108 232 0 18552 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 75148 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1318032/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1784.55 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19564 0 0 0 178289 166 0 0 25 0 1 0 205818031 76951552 13434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13434 108 232 0 18552 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 75148 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1318032/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1785.55 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19565 0 0 0 178389 166 0 0 25 0 1 0 205818031 76951552 13435 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13435 108 232 0 18552 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 75148 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1318032/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1786.56 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19566 0 0 0 178490 166 0 0 25 0 1 0 205818031 76951552 13436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13436 108 232 0 18552 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 75148 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317968/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1787.57 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19584 0 0 0 178590 167 0 0 25 0 1 0 205818031 76951552 13454 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13454 108 232 0 18552 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 75148 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317968/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1788.57 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19585 0 0 0 178690 167 0 0 25 0 1 0 205818031 76951552 13455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13455 108 232 0 18552 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 75148 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317968/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1789.58 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19587 0 0 0 178791 167 0 0 25 0 1 0 205818031 76951552 13457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13457 108 232 0 18552 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 75148 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317904/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1790.58 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19588 0 0 0 178891 167 0 0 25 0 1 0 205818031 76951552 13458 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13458 108 232 0 18552 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 75148 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317904/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1791.59 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19589 0 0 0 178992 167 0 0 25 0 1 0 205818031 76951552 13459 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13459 108 232 0 18552 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 75148 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317904/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1792.59 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19591 0 0 0 179092 167 0 0 25 0 1 0 205818031 76951552 13461 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13461 108 232 0 18552 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 75148 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317904/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1793.6 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19597 0 0 0 179193 167 0 0 25 0 1 0 205818031 76951552 13467 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13467 108 232 0 18552 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 75148 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317904/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1794.6 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19598 0 0 0 179293 167 0 0 25 0 1 0 205818031 76951552 13468 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13468 108 232 0 18552 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 75148 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317904/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1795.6 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19599 0 0 0 179393 167 0 0 25 0 1 0 205818031 76951552 13469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13469 108 232 0 18552 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 75148 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317904/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1796.61 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19601 0 0 0 179494 167 0 0 25 0 1 0 205818031 76951552 13471 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13471 108 232 0 18552 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 75148 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317904/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1797.61 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19602 0 0 0 179594 167 0 0 25 0 1 0 205818031 76951552 13472 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13472 108 232 0 18552 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 75148 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317840/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1798.61 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19603 0 0 0 179694 167 0 0 25 0 1 0 205818031 76951552 13473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13473 108 232 0 18552 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 75148 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317840/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1799.62 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19604 0 0 0 179795 167 0 0 25 0 1 0 205818031 76951552 13474 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13474 108 232 0 18552 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 75148 [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317840/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1800.62 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19609 0 0 0 179895 167 0 0 25 0 1 0 205818031 76951552 13479 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13479 108 232 0 18552 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 75148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/68 31214 /proc/meminfo: memFree=1317840/2055892 swapFree=4085348/4096564 [pid=31212] ppid=31210 vsize=75148 CPUtime=1800.63 /proc/31212/stat : 31212 (PBS4L) R 31210 31212 31166 0 -1 4194304 19609 0 0 0 179896 167 0 0 25 0 1 0 205818031 76951552 13479 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31212/statm: 18787 13479 108 232 0 18552 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 75148 Sending SIGTERM to -31212 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.65 CPU user time (s): 1798.96 CPU system time (s): 1.68674 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (Kb): 75148 The end
Begin job on node85 on Sun Jun 4 06:16:28 UTC 2006 FILE ID= 41695-1149401788 PBS_JOBID= 314058 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node85/41695-1149401788/instance-41695-1149401788.opb 121561383 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node85/watcher-41695-1149401788 -o ROOT/results/node85/solver-41695-1149401788 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node85/41695-1149401788/instance-41695-1149401788.opb 121561383 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f RANDOM SEED= 121561383 /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.218 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.18 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.218 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1371808 kB Buffers: 35500 kB Cached: 578900 kB SwapCached: 2360 kB Active: 127260 kB Inactive: 495804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1371808 kB SwapTotal: 4096564 kB SwapFree: 4085348 kB Dirty: 164 kB Writeback: 0 kB Mapped: 16760 kB Slab: 47604 kB Committed_AS: 386012 kB PageTables: 1292 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node85 on Sun Jun 4 06:46:29 UTC 2006